« earlier | later » Page 1 of 4
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
"SETL is a general-purpose, high-level programming language in which sets and first-order mappings are fundamental to the syntax and semantics of the language." Another one of those early functional languages that could be interestingly modernised.
to functional language-design setl ... 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
C&C - A Crash Course on ML Modules
A really good description of Standard ML's module system (and OCaml, where it differs). I do like ML's modules, but wish the syntax and terminology was a bit friendlier...
to cmp409 functional language-design ml module ocaml ... 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
"1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language." This cleans up some of the things I don't like about ML-family languages, and in the process gets some of the benefits of dependent types without the toolchain overhead. Interesting...
to 1ml functional language-design ml modules type-systems ... on 12 September 2017
Why ML/OCaml are good for writing compilers
As it says.
to cmp409 compiler functional language-design ml ocaml ... on 13 May 2017
A tasteful update of 90s-era Standard ML. (Wish they'd fix the horrible equality types hack, though!)
to functional language-design ml standard-ml ... on 18 October 2016
David Turner's forerunner to Miranda (and hence Haskell's grandparent) -- a neat little functional language. The implementation here is terrifying: EMAS BCPL ported to C in the style of Bournegol!
to bcpl c emas functional kent krc language-design retrocomputing turner ... on 14 October 2016
« earlier | later » Page 1 of 4
| - functional | |
| 1 | 1ml |
| 1 | apue |
| 1 | bcpl |
| 1 | c |
| 1 | c++ |
| 3 | cmp409 |
| 3 | compiler |
| 2 | concurrency |
| 1 | coq |
| 1 | correctness |
| 1 | design |
| 1 | emas |
| 1 | eratosthenes |
| 1 | etext |
| 1 | factor |
| 1 | formal-verification |
| 1 | forth |
| 34 | functional |
| 1 | futures |
| 14 | haskell |
| 1 | kent |
| 1 | krc |
| 1 | lambda-calculus |
| 1 | language |
| 11 | language-design |
| 1 | lisp |
| 1 | maths |
| 5 | ml |
| 1 | module |
| 1 | modules |
| 4 | monads |
| 1 | mythryl |
| 4 | ocaml |
| 1 | parallel |
| 1 | primes |
| 13 | programming |
| 1 | python |
| 1 | reading-code |
| 12 | research |
| 1 | retrocomputing |
| 1 | setl |
| 1 | sieve |
| 1 | standard-ml |
| 3 | teaching |
| 1 | theory |
| 1 | turner |
| 1 | type-checking |
| 1 | type-inference |
| 1 | type-systems |
| 1 | types |
| 1 | unix |
tasty by Adam Sampson.