Our great sponsors
-
Did you click on the link to the github repo?
-
I'm not sold on this pen & paper idea to be honest.
It looks slow and cumbersome. It misses all the advantages of using a computer.
How would for example code competition, context sensitive features, or refactoring work? How about editing features of a capable editor like this here:
It would be very hard, if even possible, to replicate such user experience with "pen & paper" (even if "pen and paper" would be digital).
I think programming could be improved. But not by going back in time.
Instead the "text" (code) should become even more interactive. I really like the ideas of e.g. Bret Victor in this regard:
http://worrydream.com/#!/LearnableProgramming
https://youtube.com/watch?v=8pTEmbeENF4
Or the ideas behind something like Enso:
Or "just" interactive notebooks…
Computers are so much more than pen & paper!
---
"Liberating programming form monadic style" was only a pun on the parent post. :-)
If you do FP (functional programming) in an advanced typed language you will likely end up with code written in monadic style, meaning that you wrap all (effectful) computation in some monads.
In my opinion that's in the end not really much better than the usual imperative style—and that closes the circle to the original citation: "Can programming be liberated from the von Neumann style?" (which was the title of a quite important paper).
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.