-
Did you click on the link to the github repo?
https://github.com/japiirainen/fp
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
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:
https://helix-editor.com/
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:
https://enso.org/
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).
Related posts
-
Ask HN: Which language for Advent of Code in 2024?
-
Ask HN: What are your thoughts on no-code tools like Microsoft's Power Automate?
-
Platform for mixing Python, Java, JavaScript and much more
-
Enso – a programming language with dual visual and textual representations
-
Features you've removed from your lang? Why did you put them in, why did you take them out?