Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @djspiewak
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @djspiewak
-
Daniel Spiewak proslijedio/la je Tweet
I continue to be asked about Techempower Benchmarks. A diatribe: I don't maintain them for my projects or recommend looking at them. Some projects optimize for a high score, and some demonstrate idiomatic usage. Either may be insightful, but the mix is not.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Cats Effect 2.1.0 has been released with a ton of new goodies! https://github.com/typelevel/cats-effect/releases/tag/v2.1.0 … Many, many, many thanks to each and every contributor.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
WTF this project contains *semantically significant source files* which exploit upper/lower-case name collision?! In other words, it literally cannot be built on OSes with case sensitive filesystems.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Daniel Spiewak proslijedio/la je Tweet
Would it be fair to say that `traverse` discards information? The input is a known structure (spine) with unknown leaves. The output has both unknown spine and leaves.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"Oh I know! I'll just crack open my editor and pick up where I left off on debugging this stateful race condition…" *some time passes* "I hate me of a week ago. IS IT SO HARD TO LEAVE A DAMN COMMENT EXPLAINING THIS STUFF?!?!"
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Daniel Spiewak proslijedio/la je Tweet
I’m pleased to present the flame-bait sequel to my previous blog post: “No, dynamic type systems are not inherently more open.” (Please send me your hatemail at your earliest convenience.) https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Daniel Spiewak proslijedio/la je Tweet
Created a handle for The Scala Logs (
@TheScalaLogs ) for those interested in a#Scala podcast.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Daniel Spiewak proslijedio/la je Tweet
#GraalVM on#macOS Catalina: If you are having issues with "cannot be opened because the developer cannot be verified." ->https://stackoverflow.com/a/59718816/227803 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
IMO, these ApplicativeError laws have been missing: https://github.com/typelevel/cats/pull/3241/files#diff-ad4fc677ab543b1b1f79910ed3414d99R67-R71 … Affects both Haskell and Scala, though afaict, Haskell's various implementations of the class are already (almost coincidentally) correct.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Daniel Spiewak proslijedio/la je Tweet
"the ship is sinking around us, we're about to die, and we can't even reliably get the chairs to stick in the right place since the deck may (or may not) be tilted off to the side" Never been much for action movies, but who needs them when you have
@djspiewak's code reviews?Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"a profunctor over A and B and HFunctor over F, well, it's not actually profunctor but Arrow, Strong, Costrong and other funny profunctor children" Ooooookay, SlamData engineering Discord. Calm down.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Random nugget of insight from
@sjrdoeraene found while perusing unrelated threads: Source compatibility is broken in Scala when you *add a public method to a type*. Even ignoring diamonds, this alone is murder on source dependency schemes in this language.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Update: it's actually FreeT that's violating a slightly different law, not Kleisli.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A minimized reproducer! http://cats.data .Kleisli currently violates the monad laws:https://gist.github.com/2439165b193ac62a7aca8df2a9eda0d0 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Links to evidence are helpful:https://gist.github.com/8a2e6e9490f12e92f296d0b18f0308e1 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Follow up: it appears that Kleisli or FreeT's map function is… oddly broken?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I feel like I'm losing my mind...https://gist.github.com/ac72649347dc2ce3c384f996d3ea7a58 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Daniel Spiewak proslijedio/la je Tweet
Wrote an answer to the question “What are algebraic effects?” from a Haskell perspective in a reddit comment, for anyone interested:https://www.reddit.com/r/haskell/comments/ej8fme/unordered_effects/fd00mk2/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.