Explore >> Select a destination
|
You are here 
|
tech.preferred.jp | ||
| | | | |
www.baturin.org
|
|
| | | | | [AI summary] The text provides an in-depth exploration of functional programming concepts in OCaml, focusing on type systems, pattern matching, and data structures. It covers topics such as unit and boolean values as sum types, polymorphic types like option and result, and the use of match expressions for pattern matching. The text also includes exercises for practicing these concepts, such as defining functions, writing sum types, and implementing pattern matching. | |
| | | | |
wimvanderbauwhede.codeberg.page
|
|
| | | | | This is a follow-on of my article on algebraic data types, with list-based parser combinators as a practical application. | |
| | | | |
kobzol.github.io
|
|
| | | | | You can check out a YouTube recording of a talk based on this blog post. | |
| | | | |
gist.github.com
|
|
| | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | ||
