# Pseudoconstructors

### From HaskellWiki

m (Preparing a page concerning Pseudoconstructors over monadic values, a usefull notion) |
|||

(7 intermediate revisions by one user not shown) | |||

Line 1: | Line 1: | ||

− | + | Explanations will be added ... | |

− | Till then, see some ... | + | Till then, see some ... appliances here: [[Modular Monadic Compilers for Programming Languages]]. The code is available. |

− | ==. Papers == | + | ==. What are those pseudoconstructors ?== |

+ | Replacements for [[data]] constructors defined on monadic (aka M a values) from an arbitrar monad. Are used and usefull to reprezent simultaneously and modularly the syntax and the semantic of a language. | ||

+ | |||

+ | ==. Projects and Papers == | ||

+ | We had succesfully used this pseudoconstructori in the [[Rodin]] Project, a small DSL dedicated for teaching programming. | ||

+ | Details was published here: Studii si Cercetari Stiintifice - Seria Matematica-Informatica [http://stiinte.ub.ro Univ. din Bacau, facultatea de Stiinte. ] | ||

+ | |||

+ | Download some papers from one archive from the page of [[Rodin]] Project or from [[Rodin/Download]]. Some links are needed ....(development). | ||

+ | |||

+ | '''7 ian 2011'''. We had studied the use of pseudoconstructors for Modular TypeCheckers to build modular plugin based type checkers. Good results. | ||

+ | Papers was publically defende in 2011 at NCMI ... | ||

+ | Ask popavdan A T YAH00 com for papers, if interested. | ||

+ | |||

+ | A draft pf the paper:Adaptable Software - Modular Extensible Monadic Entry-pointless Type Checker in Haskell by Dan Popa , Ro/Haskell Group, Univ. “V.Alecsandri”, Bacau | ||

+ | is available here: [http://www.haskell.org/wikiupload/5/57/Types2.ps download] | ||

+ | |||

+ | '''iunie 2011''' The Pseudoconstructors over monadic values have just proved to be usefull instruments for compiler building. See also: [[Modular Monadic Compilers for Programming Languages]]. | ||

+ | |||

+ | '''13 iulie 2011''' At the ARA Congress in Timisoara we have succeeding in scheduling a paper concerning [[horizontally modular languaged]] (ro:[[limbaje modularizate orizontal]]), having the typechecker and the evaluator (being or an interpreter or a compiler) horizontally sliced respecting the commands syntax of the grammar which can be modullarly added. The paper: "Adaptable Software – Modular extensible monadic evaluator and typechecker based on pseudoconstructors" had got the id: ARA35-119. A draft , written on 16 of may 2011 is available in the Ro/Haskell site. [[http://www.haskell.org/wikiupload/7/78/Popa_Dan_fullpaper_template.pdf.zip Download a draft from http://www.haskell.org/wikiupload/7/78/Popa_Dan_fullpaper_template.pdf.zip]] | ||

.... | .... | ||

Line 9: | Line 27: | ||

Under development. | Under development. | ||

− | [[Category:ro]][[Category: | + | [[Category:ro]][[Category:tree]][[Category:monad]][[Category:semantics]] |

## Latest revision as of 07:55, 10 May 2012

Explanations will be added ...

Till then, see some ... appliances here: Modular Monadic Compilers for Programming Languages. The code is available.

## [edit] 1 . What are those pseudoconstructors ?

Replacements for data constructors defined on monadic (aka M a values) from an arbitrar monad. Are used and usefull to reprezent simultaneously and modularly the syntax and the semantic of a language.

## [edit] 2 . Projects and Papers

We had succesfully used this pseudoconstructori in the Rodin Project, a small DSL dedicated for teaching programming. Details was published here: Studii si Cercetari Stiintifice - Seria Matematica-Informatica Univ. din Bacau, facultatea de Stiinte.

Download some papers from one archive from the page of Rodin Project or from Rodin/Download. Some links are needed ....(development).

**7 ian 2011**. We had studied the use of pseudoconstructors for Modular TypeCheckers to build modular plugin based type checkers. Good results.
Papers was publically defende in 2011 at NCMI ...
Ask popavdan A T YAH00 com for papers, if interested.

A draft pf the paper:Adaptable Software - Modular Extensible Monadic Entry-pointless Type Checker in Haskell by Dan Popa , Ro/Haskell Group, Univ. “V.Alecsandri”, Bacau is available here: download

**iunie 2011** The Pseudoconstructors over monadic values have just proved to be usefull instruments for compiler building. See also: Modular Monadic Compilers for Programming Languages.

**13 iulie 2011** At the ARA Congress in Timisoara we have succeeding in scheduling a paper concerning horizontally modular languaged (ro:limbaje modularizate orizontal), having the typechecker and the evaluator (being or an interpreter or a compiler) horizontally sliced respecting the commands syntax of the grammar which can be modullarly added. The paper: "Adaptable Software – Modular extensible monadic evaluator and typechecker based on pseudoconstructors" had got the id: ARA35-119. A draft , written on 16 of may 2011 is available in the Ro/Haskell site. [Download a draft from http://www.haskell.org/wikiupload/7/78/Popa_Dan_fullpaper_template.pdf.zip]

....

Under development.