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