Java -> Scala -> Scalaz -> Haskell -> Agda
Edward Tjörnhammar
Jag tänkte än en gång passa på att spamma med lite intressanta, om än
spretiga, länkar.
Som vi alla vet så hoppar man i regel över från Java till Scala
eftersom man vill ta del av dess typinferens och stöd för "closures".
Så.. först ut är en screencast som beskriver hur man härleder Scalaz
från vanlig Scala, genom Monoid[1]. Från Scalaz är det sedan enkelt
att komma in på modulär IO genom "iteratees", då Scalaz bifogar en
sådan implementation[2]. När man nått hela vägen hit har man insett
att man mycket hellre leker i Haskell än Scala(z). Man hittar då
enkelt IterIO[3], en annan "iteratee" IO implementation för Haskell.
Någonstans på detta plan ser man sig om efter parametriserbara
modulssystem för Haskell[4,5] men inser då att man måste använda
Agda[6] för det.
Lite töntig röd tråd kanske, och mer av en grå tråd :), men jag hoppas
denna saga, och länkar, väcker mer intresse.
[1] http://vimeo.com/10482466
[2] http://apocalisp.wordpress.com/2010/10/17/scalaz-tutorial-enumeration-based-io-with-iteratees/
[3] http://www.haskell.org/pipermail/haskell-cafe/2011-May/091666.html
[4] http://augustss.blogspot.com/2008/12/somewhat-failed-adventure-in-haskell.html
[5] http://existentialtype.wordpress.com/2011/04/16/modules-matter-most
[6] http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Modules
MVH
--
Edward Tjörnhammar
+46703784224 | http://edwtjo.me