Sign in

borar

@borar.bsky.social
83 followers 56 following 181 posts
PostsRepliesMedia
borar @borar.bsky.social · 15/01/2025
Working on refining my #eventsourcing design/template for #haskell applications. Using GADTs we can turn on or off optimistic concurrency check using "global" journal versions. Depending on the on/off setting, the "concurrent change detected" outcome becomes impossible and need not be handled.
040
borar @borar.bsky.social · 28/12/2024
Beyond basic programs, HM-like type systems can be quite mysterious and awesome. The definitions and types of the #purescript functions below look strange at the first sight. I wonder how IWSAMs will fare when ported to #fsharp.
030