borar reposted
Hyperbole 0.7 has been released! The HTMX-inspired framework for interactive web applications now supports multipart file uploads. discourse.haskell.org/t/ann-hyperb... #Haskell
borar
borar reposted
Hyperbole 0.7 has been released! The HTMX-inspired framework for interactive web applications now supports multipart file uploads. discourse.haskell.org/t/ann-hyperb... #Haskell
borar reposted
I wrote up a post that explains how type inference for anonymous records works, including row polymorphism The post is also a gentle introduction to type theory for newcomers: haskellforall.com/2026/06/reco...
Another approach for early returns in #fsharp, but specifically for Async computations: gist.github.com/Savelenko/5e...
C# developers use early return to avoid nesting. #fsharp doesn't have that โ so guard logic keeps adding indentation levels. ๐ New article: how a tiny custom computation {} CE brings early exits back, without giving up functional style. ๐ romain-deneau.hashnode.dev/a-real-world...
Blog: Basic principles of record storing systema10.org/posts/basic-... #eventsourcing
A new blog article where I go against the de facto normal: "Event sourcing is record storing" #eventsourcing systema10.org/posts/event-...
@ursenzler.bsky.social I was catching up on your ES blog articles and read about secondary events. I think this resonates with one of the reasons for the "record" terminology I discuss in my article above.
While I understand the good intentions behind such reocurring statements, I am less careful and "politically" balanced: #fsharp is absolutely inherently better. The "needs" are irrelevant, objective properties are what matters in engineering. Just like precise power tools vs manual mediaval tools.
borar reposted
My 5c about this, as always somewhat heretical. "Bounded context" is vague and not really interesting/useful. Vertical slice architecture is not an architecture, but a principle *within* an architecture. In particular, in the Onion architecture (my default). #DDD ๐ฝ
Fellow #DDD folks out there, Can someone explain to me what is a _practical_ difference between a vertical slice and a bounded context?
My 5c about this, as always somewhat heretical. "Bounded context" is vague and not really interesting/useful. Vertical slice architecture is not an architecture, but a principle *within* an architecture. In particular, in the Onion architecture (my default). #DDD ๐ฝ
Fellow #DDD folks out there, Can someone explain to me what is a _practical_ difference between a vertical slice and a bounded context?
All use-cases for stock management of scheduling are two other vertical components. Multiple vertical components can have their own models of the same domain notion, tailored at their purpose. A User type appears everywhere, but is more extensive/different in the user management vert. component. ๐ฝ
borar reposted
Why Blog If Nobody Reads It? โYou write because you think, because you observe, because you need to put it somewhere.โ https://andysblog.uk/why-blog-if-nobody-reads-it/
I wrote about using GADTs in a design for #eventsourcing API in a #haskell back-end. Somewhat related to the recent post by @mattoflambda.bsky.social systema10.org/posts/making...
D cannot contain enough information to fold *anything* from the "replacement stream" which comes after the closed stream and new records. Unless D itself is... the complete stream we are closing. Which makes closing trivially absurd. So again, this conflicts with the basic premise of #eventsourcing.
I made a demo about working with different error types and the Result type in F#. #fsharp gist.github.com/Savelenko/23...
borar reposted
Just uploaded a new release of the `foldl` package. This release has a bunch of new instance and utilities added by one very helpful outside contributor (Topsii): hackage.haskell.org/package/fold...
borar reposted
We are looking for Haskell developers for Scrive as well :) EU based dev - Remote. careers.scrive.com/jobs/5365423...
Some heated discussions below. I am working with something similar right now. In 2013 I made an in-house message broker at work with my own algorithm for historical + real time event stream generation. We are still using it now. ๐ฝ
This weeks' Design Accelerator: Why I Hate the Outbox Pattern and Why You Should Hate It Too Watch now: youtu.be/3nZLU3b47iU
Some heated discussions below. I am working with something similar right now. In 2013 I made an in-house message broker at work with my own algorithm for historical + real time event stream generation. We are still using it now. ๐ฝ
This weeks' Design Accelerator: Why I Hate the Outbox Pattern and Why You Should Hate It Too Watch now: youtu.be/3nZLU3b47iU
I am planning to write about my ES approach (which is quite contrarian compared to common wisdom) on my blog systema10.org #eventsourcing