C&C - An Explanation of Type Inference for ML/Haskell edit / delete

A succinct description of how to implement type inference for your typical functional language. Will be clear enough if you understand a functional language already.

to cmp409 functional haskell ml type-inference ... on 24 October

profsjt: Is Haskell the right language for teaching functional programming principles? edit / delete

There's some good discussion in the comments here too. (I'm a graduate of SJT's Haskell course at Kent, and really liked the pure language... but there was a big step up from there to being able to use it for real-world programming.)

to functional haskell teaching ... on 10 December 2017

Haskell's Type Classes: We Can Do Better – John A De Goes edit / delete

Reasons for wanting first-class typeclasses. Personally I'd just settle for having Haskell-style typeclasses in a language I could actually use for real work...

to haskell language-design typeclass ... on 14 October 2016

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

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."

to haskell scripting shell ... on 22 March 2015

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.

to games haskell obviously stunts ... on 14 August 2011

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom