Post #1890857
2026-04-15 13:46 UTC
UI programming could benefit from the clarity of synchrony
wonder if i could emulate that as a typed DSL in PureScript … not sure how to mint clocks as types, maybe just name them in row types?
Replies (1)
-
@monoidmusician@tech.lgbt 2026-04-15 13:50
maybe just with existentials withClock (clock definition) \(clock :: Clock newClockVariable) -> ...