A software mind's eye
I have been writing higher-order functional programming in Python for the last few weekends: hofppy ( https://github.com/equational/hofppy ) will be a Python library. For the moment it is a collection of Jupyter notebooks. My initial goal was to have a handy FP toolkit which supports applied math with JAX's JIT. Yet I realise that in fact what I am really doing is reimplementing the generic part of a compiler for a reactive (trading) language I wrote in 2010 in F#, while including a few tricks I picked up since then, the primary one being to think of code as implementing a synchronous execution model. There is really very little code like this on the web, therefore why I am doing this open source. This blog is in part written to mention the above, as already the first JAX JIT supporting monad and comonad models are "nice". Yet this blog is also to bring up the subject of the process of creating new technology. My recipe to do something new, such as lead a team on a new su...