« earlier | later » Page 1 of 6
Haskell for all: Scrap your type classes edit / delete
"What I'm about to propose is that all Haskell type class programming can (and should) be implemented purely at the value level using a simple and ordinary code transformation." Well, yes, but the resulting code is HORRIBLE...
to haskell language-design typeclass ... on 14 October 2016
Learning Haskell as a Nonprogrammer | SuperGinBaby edit / delete
to functional haskell programming teaching ... on 07 June 2015
turtle: Shell programming, Haskell-style | Hackage edit / delete
"turtle is a reimplementation of the Unix command line environment in Haskell so that you can use Haskell as both a shell and a scripting language."
C++17: I See a Monad in Your Future! | Bartosz Milewski's Programming Cafe edit / delete
Why C++ futures are like monads. Neat!
to c++ concurrency future haskell language-design monad ... on 09 April 2014
simonmar/monad-par - GitHub edit / delete
A parallel monad from Simon M.
to concurrency haskell parallel ... on 02 September 2011
HackageDB: stunts-0.1.2 edit / delete
A clone of 4D Stunts Driving. In Haskell. Obviously.
TwistedSquare / Publications edit / delete
Neil's publications.
to c++ concurrency haskell occam publications ... on 08 May 2010
Things that amuse me edit / delete
Using the high-level LLVM bindings in Haskell to compile a typed language. This is awfully cute, but I'm not sure how you'd handle a language that let the user define their own datatypes -- you'd need a Haskell-type-level representation of source-level datatype names...
to compiler haskell llvm research tock types ... on 16 June 2009
« earlier | later » Page 1 of 6
| - haskell | |
| 3 | + c++ |
| 1 | + cmp409 |
| 1 | + community |
| 1 | + compilation |
| 12 | + compiler |
| 5 | + concurrency |
| 1 | + conference |
| 1 | + coq |
| 1 | + correctness |
| 1 | + debugging |
| 2 | + design |
| 1 | + documentation |
| 1 | + exceptions |
| 1 | + filesystem |
| 1 | + filesystems |
| 1 | + formal-verification |
| 14 | + functional |
| 1 | + fuse |
| 1 | + future |
| 1 | + gale |
| 1 | + games |
| 3 | + generics |
| 1 | + grammar |
| 4 | + language |
| 3 | + language-design |
| 1 | + lexer |
| 1 | + libraries |
| 2 | + llvm |
| 1 | + maths |
| 1 | + metaprogramming |
| 1 | + ml |
| 1 | + monad |
| 5 | + monads |
| 1 | + obviously |
| 1 | + occam |
| 2 | + os |
| 1 | + parallel |
| 5 | + parsing |
| 2 | + perl |
| 12 | + programming |
| 1 | + publications |
| 1 | + reading-code |
| 38 | + research |
| 1 | + scripting |
| 1 | + shell |
| 5 | + software |
| 1 | + static |
| 1 | + static-analysis |
| 1 | + stunts |
| 4 | + teaching |
| 1 | + templates |
| 1 | + testing |
| 3 | + tock |
| 1 | + type-inference |
| 1 | + typechecking |
| 2 | + typeclass |
| 1 | + types |
| 1 | + utilities |
tasty by Adam Sampson.