高级检索

    Monad表示的OO程序自动生成

    TRANSFORMING MONAD REPRESENTING TO OO PROGRAMS

    • 摘要: Monad的研究,目前集中在函数语言领域,且主要研究本身的内部形式和性质等问题,而对Monad与实际程序设计语言之间的关系,以及如何用Monad具体构造程序,如何将Monad应用于软件形式化等方面研究得甚少.探讨了Monad技术与OO技术之间的关系,主要研究Monad与Class之间的关系,并给出从Monad到Class(C++)的一种转换方法.

       

      Abstract: The research on Monad is now mainly focusing on functional programming languages,and is mainly about problems on its internal form and features. Yet referring to the relation of Monad to practical programming languages, there is little mention of how to construct programs with Monad and how to apply Monad in software formalization. This paper is concerned with the relation between Monad technique and OO technique, with emphasis on the relation between Monad and Class. And furthermore, one way to transforming Monad into Class (C + + ) ispresented.

       

    /

    返回文章
    返回