|
You are here |
bartoszmilewski.com | ||
| | | | |
tm.durusau.net
|
|
| | | | | [AI summary] Patrick Durusau explores category theory concepts, specifically zero-object categories and free categories generated from graphs, within a series of mathematical explanations. | |
| | | | |
argumatronic.com
|
|
| | | | | Occasional writings about Haskell. | |
| | | | |
www.jeremykun.com
|
|
| | | | | For a list of all the posts on Category Theory, see the Main Content page. It is time for us to formally define what a category is, to see a wealth of examples. In our next post we'll see how the definitions laid out here translate to programming constructs. As we've said in our soft motivational post on categories, the point of category theory is to organize mathematical structures across various disciplines into a unified language. | |
| | | | |
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`. | ||