« earlier | later » Page 1 of 6
Teaching to read Haskell – Blog – Joachim Breitner's Homepage
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
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?
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
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
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
"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
« 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.