Abstract is an abstract word. Your interpretation is just one of the possible meanings. You could argue that this language is abstract because the data has no intrinsic meaning.
Very nice! I've often wondered how close you could get to a POSIX-like syntax with something like this while maintaining a LISP semantics as much as possible. Especially pipelines are much easier to read with the | and > operators.
I guess you need some sort of LISP dialect that supports infix operators
Math is about discovering universal truths:
Given a set of axioms and following theorems, the theorems will apply in any scenario where the axioms are true.
So that makes maths both invented (the axioms) and discovered (the theorems) and real in any situation where it applies.
I mean, technically almost all of math can be related to other math one way or another. To say the CT has a lot to do with computation is definitely a stretch. CT is not a recognized Computer Science subject. It's mostly used in the functional programming community to name certain concepts and theorems, but then applied to a specific type system (so it's not actually doing CT, since your restricting yourself to a single category, whereas CT is really about connecting different categories by generalizing over them).
It works for me, but differently than I first thought. You don't select and move line shapes as a whole, but only segments in a perpendicular direction
Assignments should in total be worth ten percent of the total mark. Not too much to cheat over and waste your chance of valuable feedback. Not too little to ignore, so giving some short term incentive to actually work on them.
You assume too much context from people. If you know the problem space I'm sure your explanation is technically correct. But random people do not have that preknowledge.
I find that his bodily gestures and facial expressions greatly add to his performance, yet I can find most of his songs in audio format only? Does anyone know if there are more recordings available, apart from the concert in denmark?
Sorry to go tangential, I was reading your blog posts following the link from your post. The monoid example is possible without static interface methods: you could use the new() constraint and have the empty constructor act as identity element. Kudos on the posts, very nice to read.