« earlier | later » Page 1 of 6
Teaching to read Haskell – Blog – Joachim Breitner's Homepage edit / delete
I generally find the idea of teaching code reading to be interesting...
to functional haskell programming reading-code teaching ... on 29 June 2020
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 |
| 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.