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