He created FRP iirc

https://youtu.be/rlyqoYoUumc?si=Mtflj08uUMFAzkY1

Browsing that video briefly, his breakdowns of fn inputs/outputs is very good and something I do before making components, usually in a sketching notebook. While I see value in his delivery, I also think that monads or things that have "laws of composability" are fairly unrealistic in programming, or the kinds of programming i delve into heavily. Things do not get added equally if the sequence varies, which I find to be the key to developing fast: determining build sequence

I think a lot about denotative design and consider managed network to be a mandatory stepping stone to getting there (enabling full stack system as a function as a starting point to even thinking about these ideas)

it is extremely hard, imo it reduces to "how do we express CRUD apps in a mathematical way such that the theory of calculus, integrals, diff eqns etc (and discrete analogues) is applicable to them"

this question is one of my personal pet topics and objectives

to summarize, i dont think the technology is there yet, except for Electric, which is closing in and perhaps making it possible for the first time to start to ask these questions

whatever the answer is, it will be taught in high school in 50 years, like algebra

🐐

Preach:zap:

i spoke with conal for 3 hrs this morning and it was mindblowing. gonna keep in regular touch

how

trip report !

just emailed him

yeah idk i need to rethink everything lmao

u should really talk to him @U09K620SG

i can intro obv

he made it pretty clear what he thinks of clojure (very negative)

we have different goals

what did he say that changed your view on something?

his interest in abstractions

and getting to the core of the question

he actually did not discount clj/forth or anything in our talk, he advocated for agda as the “design language”

implement it however u want in whichever tech stack is most fitting