Phylosophy

Let’s try to re-build the foundation of Pure Functional programming in a lazy language such as Miranda or Haskell from the first principles. Despite nearly 30 years of research and thousands of academic papers every real world Haskell project is a fucking mess of over-abstraction, using the latest meme abstraction or a fad of the day, whike the whole field is an endless contest of “look, ma, I am so smart” academic papers. The Arrows paper, and preceding Monad Transformers papers are the hallmarks of academic penis size contests. ...

Unnecessary, redundant abstractions is the root or of all evil. Especially the wrong ones. There are many problems with serious FP programming, most of them are caused by millions of idiots who are constantly broadcasting virtue signaling pseudo-intellectual bullshit. Another set problems is that thinking symbolically, in terms of unfamiliar and unnatural notation is hard – unpacking chains of partially applied constructors, converted to a prefix notation… But thinking in terms of arrows, almost without notation, is ever harder – one has to discard every familiar but inapplicable in this very abstract context, notions, and think in an unfamiliar way. ...

Okay, what are the most fundamental, non-bullshit mathematical notions for Functional Programming? Lambdas, Functions, Currying and Partial Application The algebraic notion of a Products and their representation as tuples an Ordered Sequence as a Universal shape Recursive/Nested data structures, especially a List and a Tree Recursive processes (of nested function calls) which arise naturally over recursive data structures. The Duality of an Initial Algebra and an Interpreter (being a Unique Homomorphism) It is not a random coincidence that arguments of a multi-argument function (before Currying) are tuples, not Lists (except in LISPs). ...

, | → ˆ () = Have you seen the language I have designed in which the sum-types and product types are the most primitive primitives? (You) haven’t seen nothing. Okay, let’s build some from the /First Principles, right from the ground up of Underlying Reality and Causality Itself. What Is the most fundamental non-quantum physical notion? An Atom, which is an Energy being trapped or in a particular physical locality? Noo. Energy Itself, which cannot be created or destroyed, only transformed from any “form” to another (so we say it is being conserved within the Universe)? Yes. By the way, here we do not consider quantum “physics” as physics. It is a theoretical socially-constructed pseudo-science. Modern day Tantric teachings. ...

Here I am going to pee on (You) as an Intellectually Superior Alpha Male [Wolf] would. The reaction I expect from (You) is to lower your tone, put your tail between your legs and to step aside. I am the last living Natural Philosopher (before the LLMs made the very notion of accumulating and refining knowledge obsolete, just like the petrol cars made obsolete the whole horse-based economy). trait NaturalPhilisopher: Mathematics + Classic Physical + Programming + Liguistics + PhilosopgyOfMind {} A set of traits, indeed. ...

data List a = [] | a : [a] – Defined in ‘GHC.Types’ Recursion looks magical until (You) realize that there is an underlying structure – a distinct, particular shape Universal shape,, captured and generalized as an abstract (algebraic) structure, and this structure has particular properties. Molecular Biology does not generalize or abstract out,but it heavily reuse as much of what is already Out There as possible. Every information carrying (information encoding) molecular structure has its own distinct particular “protocol” (an implicit set of rules) being implemented – an alphabet, the start and stop markers, and “what to do” when observing or confronting every one of these. ...

“Lead us from the unreal to the real,” the Brihadaranyaka Upanishad Now let’s get serious for a while. Here I claim that Mother Evolution in the macro-process of Biological Evolution, at the level of Molecular Biology have arrived at and “shown us” the most fundamental, Universal “structures” and process shapes (forms), and the mathematics only captured these underlying Universal structures and shapes (forms) and in some cases have clarified their implicit, immanent properties. ...