The front end framework for correctness: built on Effect, architected like Elm
1–10 of 53 posts
Re: The front end framework for correctness: built on Effect, architected like Elm
#2This looks interesting, and I've been keeping an eye on this for a while - but does anyone have experience from actually using this for real?
Re: The front end framework for correctness: built on Effect, architected like Elm
#3As agentic coding matures, this kind of project is the right direction. The mechanics of writing the code become less important. But having a language framework that naturally resists mistakes will become increasingly useful and important.
Similar to how Rust is obviously a better choice today than C++. Who cares if the language is “more difficult” to code in, if the agents are doing the coding. What we need is building blocks that make it harder to author bugs.
Re: The front end framework for correctness: built on Effect, architected like Elm
#4As agentic coding matures, this kind of project is the right direction. The mechanics of writing the code become less important. But having a language framework that naturally resists mistakes will become increasingly useful and important. Similar to how Rust is obviously a better choice today than C++. Who cares if the language is “more difficult” to code in, if the agents are doing the coding. What we need is build…
That's an interesting - and maybe correct - point. Looking at the examples, it seems very long winded and not something I would want to write myself - but maybe I don't need to care about that anymore, as you say!
Re: The front end framework for correctness: built on Effect, architected like Elm
#5I don't know, as far as I can tell the demo on the homepage is bugged? Or maybe I misunderstand how it's supposed to work? If I click reset after 2 seconds and then click add 1 right after it, the reset never fires. What's up with that, that's not what I expected to happen?
Re: The front end framework for correctness: built on Effect, architected like Elm
#6As agentic coding matures, this kind of project is the right direction. The mechanics of writing the code become less important. But having a language framework that naturally resists mistakes will become increasingly useful and important. Similar to how Rust is obviously a better choice today than C++. Who cares if the language is “more difficult” to code in, if the agents are doing the coding. What we need is build…
And tla+ / sequence diagram / user flow diagrams / data models all in one "thing"
Re: The front end framework for correctness: built on Effect, architected like Elm
#7This feels a lot like sagas and redux sagas. Anyone else got that vibe?
Re: The front end framework for correctness: built on Effect, architected like Elm
#8I don't know, as far as I can tell the demo on the homepage is bugged? Or maybe I misunderstand how it's supposed to work? If I click reset after 2 seconds and then click add 1 right after it, the reset never fires. What's up with that, that's not what I expected to happen?
Yep, it seems that if you hammer messages things get easily dropped or the async behavior is not executed.
IMO the reset should fire regardless what happens after it.
Re: The front end framework for correctness: built on Effect, architected like Elm
#9Just wondering how a matching backend framework for correctness would look like. Ideally something that doesn't repeat the React mess with two routers but fits right in Inertia style.
Re: The front end framework for correctness: built on Effect, architected like Elm
#10[dead]