Explore >> Select a destination


You are here

julesh.com
| | bartoszmilewski.com
12.0 parsecs away

Travel
| | 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
13.7 parsecs away

Travel
| |
| | bartoszmilewski.com
10.7 parsecs away

Travel
| | 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
103.7 parsecs away

Travel
| 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`.