Explore >> Select a destination
|
You are here 
|
usethe.computer | ||
| | | | |
raku-advent.blog
|
|
| | | | | Generic datastructure traversals with roles and introspection I am a lambdacamel and therefore I like to adapt concepts and techniques from functional programming, and in particular from the Haskell language, to Raku. One of the techniques that I use a lot is generic traversals, also known as "Scrap Your Boilerplate" after the title of the... | |
| | | | |
particularvirtue.blogspot.com
|
|
| | | | | Algebraic data types are a fantastic way to make code clearer. They're used all the time in Haskell, because they're a fundamental part of t... | |
| | | | |
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. | |
| | | | |
alanrendall.wordpress.com
|
|
| | | The theorem of the title is about dividing smooth functions by other smooth functions or, in other words, representing a given smooth function in terms of products of other smooth functions. A large part of the account which follows is based on that in the book 'Normal Forms and Unfoldings for Local Dynamical Systems' by... | ||
