/explore
|
You are here 
|
emmas.site | ||
| | | | |
momi.ca
|
|
| | | | | ||
| | | | |
weblog.anniegreens.lol
|
|
| | | | | I explore topics about being vulnerable on a personal blog: how it affects us, others, when it might be used against us, and how we might still push forward with vulnerability in our own spaces. | |
| | | | |
www.jeremykun.com
|
|
| | | | | In this post we'll get a quick look at two ways to define a category as a type in ML. The first way will be completely trivial: we'll just write it as a tuple of functions. The second will involve the terribly-named "functor" expression in ML, which allows one to give a bit more structure on data types. The reader unfamiliar with the ML programming language should consult our earlier primer. | |
| | | | |
www.chriswarbo.net
|
|
| | | [AI summary] A discussion thread clarifying misconceptions about state, the IO monad, and functional purity in Haskell by explaining how the language represents imperative programs as pure data structures. | ||
