[Haskell-ELTE] Funkcionalis fuggosegek

[Peter Divianszky]

>> http://hackage.haskell.org/trac/ghc/ticket/3005
>
> Tegnap munka kozben elkezdtem irni egy Template Haskell cuccot, ami ezt
> megcsinalna reifikacion keresztul, de aztan dolgozni is kellett(:)), a
> kodot meg ottfelejtettem a benti gepen, ugyhogy egyelore ezt kihagyom.

Ez még akár őket is érdekelheti, nekik persze a ghci és ghc api kódjának 
módosítása a cél. Állítólag elég áttekinthetően van írva, de nem akarlak 
ebbe az irányba elvinni. :)

> Megirtam kozben funkcionalis fuggosegekkel, amit akartam, persze
> ugyanott van a problema, mint Agdaval: ezt sem lehet le"futtatni" az
> unaris szamabrazolas okozta problemak miatt...
>
> Azthiszem elkerulhetetlen lesz, hogy tizes szamrendszerbeli aritmetikat
> implementaljak.

Ez elkerülhető! A type-level csomag pont ezt csinálja (és funkcionális 
függőségeket használ).

Decimális ábrázolás:

http://hackage.haskell.org/packages/archive/type-level/0.2.4/doc/html/Data-TypeLevel-Num-Reps.html

Elkészített függvények (többek között osztás, gcd, logaritmus):

http://hackage.haskell.org/packages/archive/type-level/0.2.4/doc/html/Data-TypeLevel-Num-Ops.html

Péter