/explore
|
You are here 
|
tomasp.net | ||
| | | | |
argumatronic.com
|
|
| | | | | Occasional writings about Haskell. | |
| | | | |
rakhim.org
|
|
| | | | | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations. | |
| | | | |
www.jeremykun.com
|
|
| | | | | Perhaps primarily due to the prominence of monads in the Haskell programming language, programmers are often curious about category theory. Proponents of Haskell and other functional languages can put category-theoretic concepts on a pedestal or in a mexican restaurant, and their benefits can seem as mysterious as they are magical. For instance, the most common use of a monad in Haskell is to simulate the mutation of immutable data. Others include suspending and backtracking computations, and even untying tangled rope. | |
| | | | |
blog.samibadawi.com
|
|
| | | [AI summary] A developer reflects on the trade-offs between static and dynamic typing systems, discussing their experiences with functional languages like Haskell, Scala, and Clojure in contexts ranging from production stability to NLP exploration. | ||
