You are here |
julesh.com | ||
| | | |
bartoszmilewski.com
|
|
| | | | I always believed that the main problems in designing a programming language were resource management and concurrency--and the two are related. If you can track ownership of resources, you can be sure that no synchronization is needed when there's a single owner. I've been evangelizing resource management for a long time, first in C++, and... | |
| | | |
jackkelly.name
|
|
| | | | ||
| | | |
bartoszmilewski.com
|
|
| | | | Abstract: I derive a free monoidal (applicative) functor as an initial algebra of a higher-order functor using Day convolution. I thought I was done with monoids for a while, after writing my Monoids on Steroids post, but I keep bumping into them. This time I read a paper by Capriotti and Kaposi about Free Applicative... | |
| | | |
nurkiewicz.com
|
|
| | Clojure is a dynamically, strongly typed programming language. It's a dialect of _Lisp_ running on the Java Virtual Machine. Lisp is 6 decades old and has a really weird syntax. That weird syntax is called _Polish prefix notation_. Basically, in every other language you've used math operators like plus or minus are infix. It means they are placed between operands. For example, `1 + 2`. In Clojure, you always put the operator (or any other function for that matter) in front. So simple addition becomes... `+ 1 2`. |