Savlambda's profile picture. λї.Ґ

borar

@Savlambda

λї.Ґ

Fixado

Huge themes of my personal state of software engineerig art: * (pure) FP in back-end and front-end * the Onion architecture * REST


Both the Unit and Void types are two most trivial types. The "library" of the unit type is empty, because we cannot do useful things with it. The "library" of the Void type is, seemingly surprisingly, larger and gives us the 'absurd' function which is infinitely powerful.


😂

The best engineers aren’t writing code anymore



Functional programming solves this ;)

The problem with most software "engineers" is that they are neither rooted in reality (physics) or truth (math). They are rooted in a space built entirely by sophisticated language and abstraction. Language can be manipulated to serve and falsify both reality and truth. This is a…



Following this popular/hype advice costs companies a lot of money simply wasted.

I often hear these common justifications for Repositories: - "We may switch databases later" - "It makes testing easier" - "It enforces separation of concerns" In reality: - in 99% of projects you don't switch databases (even if you do: switching from a relational database to a…



All the "community", "code of conduct" and "moderation" nonsense aside, "there is no place for politics in ..." in the context of anything, in particular OSS, is naive and wrong. People who say this live in a fantasy/bygone world.


We haven't had the C# = .NET for a while 😊 #fsharp

.NET has got to be the programming community with the highest amount of architectural bullshit that I’ve ever seen.



"HATEOAS" (actually REST) and/in JSON beats everything else though 🤷‍♂️


Strictly speaking, the F# and C# versions do not really demonstate the free monad. There is inly one single free monad data type, relying on HKT to induce a monad on _any_ functor, not some concrete functor. Without HKT we are "instantiating" the free monad for a given functor.



Anyone here in #fsharp remember the heated discussions and fights about type classes years ago? Well, Java is getting them now.


It does not help that by "clean code" some mean well-organized, modular, simple and maintainable programs, while others mean something which went horribly wrong under the same premise. Unfortunately, the second group seems to think that that is the only outcome.


REST without hypermedia is more important than hypermedia.


borar repostou

haskell is actually one of the best designed languages out there, by experts in the field who actually knew what they were doing the tooling is a bit meh, but has gotten better recently the language itself though? The GOAT


The guy on the right means PureScript, Haskell, PostgreSQL, of course.

There's an unfortunate division between Zoomer web devs and Uncs

0xIlyy's tweet image. There's an unfortunate division between Zoomer web devs and Uncs


Both HTMX and Datastar are surely about hypermedia, but mostly about front-end "tricks". They are much less if at all about REST, i.e. not focusing programmer's attention and way of thinking around _resources_, state transfer and overall client-server REST architectural style.


borar repostou

"Concrete bridge builders need to come out of their ivory tower and learn to be practical."


borar repostou

Ralf Hinze and Dan Marsden present a graphical calculational technique based on string diagrams, and use it to explain the theory of monads. cambridge.org/core/journals/…


Loading...

Something went wrong.


Something went wrong.