[Haskell-ELTE] Funkcionalis fuggosegek

[Dr. ERDI Gergo]

On Fri, 14 May 2010, Peter Divianszky wrote:

> Igen, a probléma ismert hogy a :t nem normalizált típust ír ki.
> Van amikor ez jobb, így akarnak egy új ghci parancsot ami normalizált 
> típusokat ír ki (ennek nincs technikai akadálya):
>
> 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.

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.


Mindenesetre koszi a segitseget!

 	Cactus

-- 

   .--= ULLA! =-----------------.   `We are not here to give users what
    \     http://gergo.erdi.hu   \   they want'  -- RMS, at GUADEC 2001
     `---= gergo at erdi.hu =-------'
Ha nincs Isten, ki húzza ki mindig a dobozból a következő papírzsepit?