Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
I'm not a LISPer myself, but I've heard that each LISPer would have his/her own fundamentals that not composed to a common base to date. I wonder even though delimited continuations (as well as other devices leveraging the powerful S-expression) are composable, the semantics to be conveyed does not generally compose (so well). This feeling partially comes from Alexis King's eff documentary about effect semantics zoo, involving other Monad based effect libs.
To answer 2, there are recursion schemes: https://github.com/passy/awesome-recursion-schemes, and the original famous paper which defines them: http://maartenfokkinga.github.io/utwente/mmf91m.pdf.