[Haskell-ELTE] Introducing Alef
Dr. ERDI Gergo
gergo at erdi.hu
2009. Ápr. 24., P, 11:05:13 CEST
Hello mindenkinek!
Miutan vegre elkeszultem az ad-hoc polimorfizmus implementaciojaval is,
most megosztanam veletek az Alefet. Az Alef nev az "Alef Lazily Evaluates
Functions" rekurziv roviditese.
http://gergo.erdi.hu/projects/alef/
Igazabol doksi nincs hozza me'g, a peldakat ajanlom megnezni (bar sajnos
a peldak es a regresszios tesztek egymasba csusztak). A fo feature-ok:
- Lazy
- Hindley-Milner tipuskikovetkeztetes
- Higher-order fuggvenyek (currying meg nem mukodik, ki kell debugni)
- Ad-hoc es parametrikus polimorfizmus
- Interpreter
- Compiler (C# kimenettel)
Rovidtavu cel: kicsit felhasznalo-baratabba tenni, mint az, hogy irni kell
egy Lisp programot, amiben adatkent ottvan a program :)
Tavlati cel: Lispet celzo compiler, a nyelvnek egyfajta begyazasa Lispbe.
Ezen kivul Petivel remelhetoleg diplomamunkat is keszitek belole:)
Kerdesekre szivesen valaszolok.
bye,
Gergo
--
.--= ULLA! =-----------------. `We are not here to give users what
\ http://gergo.erdi.hu \ they want' -- RMS, at GUADEC 2001
`---= gergo at erdi.hu =-------'
Don't anthropomorphize computers. They hate that.
More information about the Haskell
mailing list