« earlier | later » Page 1 of 6

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 2018

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

Finding bugs in Haskell code by proving it – Blog – Joachim Breitner's Homepage edit / delete

A worked example of using hs-to-coq.

to coq correctness formal-verification functional haskell ... 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

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

« 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 |

13 | + 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 |

11 | + programming |

1 | + publications |

38 | + research |

1 | + scripting |

1 | + shell |

5 | + software |

1 | + static |

1 | + static-analysis |

1 | + stunts |

3 | + teaching |

1 | + templates |

1 | + testing |

3 | + tock |

1 | + type-inference |

1 | + typechecking |

2 | + typeclass |

1 | + types |

1 | + utilities |

tasty by Adam Sampson.