Typeclasses in Coalton, a statically typed functional programming language built with Common Lisp. coalton-lang.github.io/20211010-intro… via '(Robert Smith) @colescottsf

A roadmap for Higher Kinded Types in Rust smallcultfollowing.com/babysteps/blog… via @nikomatsakis

F# support type classes or implicits github.com/fsharp/fslang-… Reflections on perceived culture

One Reason Typeclasses Are Useful coalton-lang.github.io/20211212-typec… via '(Robert Smith)

For some - Clean is a better Haskell clean.cs.ru.nl/FAQ

Original Yale Haskell implemented in Common Lisp github.com/bitmappergit/c…

Defining Abstract Data Types in Common Lisp github.com/stylewarning/c…

Shen Scheme ported to Racket github.com/bitmappergit/s…

According to Erik Meijer - this is the best book ever on Functional Programming x.com/headinthebox/s…

Folding Unfolded - Polyglot FP for Fun and Profit slideshare.net/pjschwarz/fold… via Philip Schwarz

Monadology in Haskell semantic.org/post/monadolog…

Row Types in Haskell blog.vmchale.com/article/row-ty… via Vanessa McHale

The case against Effect Systems (e.g., the IO data type) alexn.org/blog/2022/10/1…

The Problem of Effects in Rust without.boats/blog/the-probl… via شقایقی بی قایق

Folding Unfolded - Polglot FP for fun and profit. slideshare.net/pjschwarz/fold…

The Power of Equational Reasoning haskellforall.com/2013/12/equati…

This account is stopping posting due to changes in the way Twitter/X is run.

A textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is the textbook for CS 3110 Data Structures and Functional Programming at Cornell University. cs3110.github.io/textbook/cover…

Programming with Dependent Types in Scala mooc-list.com/course/introdu…

Equational Reasoning - Proof of Replication haskellforall.com/2013/12/equati…