Tasty » Adam Sampson's functional bookmarks

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

SETL edit / delete

"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 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

C&C - A Crash Course on ML Modules edit / delete

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? 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

1ML - core and modules united edit / delete

"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 edit / delete

As it says.

to cmp409 compiler functional language-design ml ocaml ... on 13 May 2017

SMLFamily/Successor-ML: A version of the 1997 SML definition with corrections and some proposed Successor ML features added. edit / delete

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

KRC homepage edit / delete

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