Relative time FRP

Conal seems to have discovered an essential change in the semantics of FRP. The change is to think in terms of relative time instead of absolute time (Einstein would approve). It really cleans a lot of things in the semantics up, makes the implementation local (which functional programming is very good at making [...]

Screw laziness (w.r.t. Fran semantics)

Reactive is getting more mature, but still does not support “feedback” behaviors (a bug), and still does not support true first-class Behaviors (an essential limitation); meaning you cannot efficiently put a Behavior in a data structure and save it for later use. By observing the reactive mailing list, this limitation is proving unimportant; still [...]

Restricted Data Types

With some spare boredom I had this morning, I was skimming the section on functors in RWH. A little ways down they introduce the type:

data Eq a => Bar a = Bar a
instance Functor Bar where
fmap f (Bar a) = Bar (f a)

And point out how the constraint does not [...]

Arizona Green Tea

I don’t know what it is. Coke doesn’t do it, Coffee doesn’t do it, regular hot green or black tea doesn’t do it. Arizona green tea inspires me to code like no other substance. If I am vegging in front of the TV and go to the fridge to grab one, hardly [...]

Udon Sketch #2

The core library of Udon is basically finished (see my previous post for a sketch of what udon is). It needs cleanup, documentation, and a quickcheck suite, but the functionality is there and working in my small tests. I have begun udon-shell, which is a way you can interact with udon objects from [...]

Sketch of Udon (Version Control/Packaging system)

I’m kind of tired, so don’t expect this post to be entirely coherent. I just wanted to write a little bit about the project I started recently, called Udon.
The idea came to me as the common ground between several problems I have seen recently. I will not go into the intricate details of [...]

Captain Update

Here’s a quick update about what’s been going on in my life and in my head.
I’ve started a few brainstorming blog posts, but failed to get anywhere so I didn’t post them.
The first is the fall of taxonomy, explaining the copious problems with organizing a large volume of modules by hierarchical, taxonomic namespace, and a [...]