Show HN: A small, weird and unpractical programming language

1. fp

   1 4 103 0.0 Haskell

   A small, weird and unpractical programming language. (by japiirainen)

   

   Did you click on the link to the github repo?

   https://github.com/japiirainen/fp

2. InfluxDB

   www.influxdata.com featured

   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.

   

3. enso

   2 85 7,403 9.9 Scala

   Enso Analytics is a self-service data prep and analysis platform designed for data teams.

   

   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).

Suggest a related project