[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