Show newer

@RenewedRebecca @cwebber@octodon.social let them combine the best parts in a collaborative effort

@rml This looks like nominal vs structural "styles". Haskell clearly favors the former, but has a lot to work with the latter - Dynamic, Generics, all kinds of "Value" ASTs and coercing/parsing/building to bridge it.

I'm pessimistic, honestly, on the merits of generic structures throughout and usually want to parse them away and the boundary. Thus, it's Haskell for me (:

@rml hm... Perhaps I don't get what do you mean here. What's the difference between a composable and decomposable code?

@reidrac@social.sdf.org and it gets better too!

I'm just tired of the "Haskell tooling bad, LSP does boo-boo" takes recently. Please, cut it some slack.

I should write a huge text about how is a great language and is getting better all the time.
Just to dilute the stream of negativity constantly appearing on feeds.

Maybe *you* should too.

Gosh, I sometimes hate that the LSPs are a thing now. People really like to dunk on and its "toolchain" for LSP deficiencies.

Come on, people, this stuff is barely mature by itself.

And you really can do without it.

@sanityinc I don't get the point in the post. If you don't like the tempo, you just stay on whatever the LTS suits you. If a library is too fancy for you, don't touch it. Hate YAMLy hpack? Sure, use cabal. Love it? Do the other way around.

@wiredfire @dansup @GuyDudeman @wedistribute E2E in a closed source system under USA compliance, yeah, sure. Totally not lame.

I have no illusions with Telegram here, it's a public comms platform to share cat pics. You don't use that if you need E2E.

Trading away comfort of multi-device account and non-bloated open source clients for a clown mask of "security" doesn't cut it for me.

@dpiponi From where he would fall out?
A> Out of favor
B> Out of window
C> Out of plane
D> Out of service

* 50:50
* Phone a friend
* Ask the audience

@gregeganSF Finally, a "to the moon! 🚀🚀🚀 " I can stand for.

@wiredfire @wedistribute @dansup @GuyDudeman you just described Telegram, sans the Facebook part. And it has working cross-device synchronization, not the lame "proxy me to via mobile app".

@brokenix@emacs.ch kinda like this

launchMissiles = runIO \world0 ->
let
(world1, ()) = openShafts world0
(world2, missiles) = prepareVehicles world1
in
launch world2 missiles

You can look up the real definition in `base` sources.

A real implementation performs the I/O as the associated monad is evaluated, and relies on lazy evaluation to only evaluate the monad that is returned 

@brokenix@emacs.ch Eh... no. You can do arbitrary IO without ever touching monads or something else beyond lambdas.

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.