« earlier | later » Page 1 of 6
Haskell for all: Scrap your type classes
"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
to functional haskell programming teaching ... on 07 June 2015
turtle: Shell programming, Haskell-style | Hackage
"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
Why C++ futures are like monads. Neat!
to c++ concurrency future haskell language-design monad ... on 09 April 2014
A parallel monad from Simon M.
to concurrency haskell parallel ... on 02 September 2011
A clone of 4D Stunts Driving. In Haskell. Obviously.
Neil's publications.
to c++ concurrency haskell occam publications ... on 08 May 2010
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 |
| 56 | haskell |
| 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.