Joined @katychuang@dkoontz & Aaron for a fun @lambdacast on the basics of Type Parameters [when to add, parametricity, refactoring, phantoms]; it turned out very nicely, so go check it out! https://t.co/cD0pOsK3BV
We're excited for @CantonNetwork, the industry’s first privacy-enabled interoperable blockchain network designed for institutional assets and built to unlock the potential of synchronized financial markets. #PowerfulConnections https://t.co/rlfKxyRLLT
Excited to share that @warpdotdev, the Rust-based modern terminal, is now in public beta!
Any Mac user can now download and use Warp here 👉 https://t.co/DdxQPDhPLy
More on Warp and our Series A below 👇 1/6
Why is #Daml a full blown language rather than a library or EDSL in #Haskell? The answer boils down to "Haskell is too big" and a need for absolute determinism in Daml's functionality. @S11001001 explains more here: https://t.co/tqxZ85HoDh
Have you registered for ZuriHac 2021 yet? Join us tomorrow at 1:45PM EST / 7:45 PM CEST for a session all about what it's like to work on Daml at Digital Asset. Bring your questions to the Q&A!
https://t.co/AE6jUrmRbk
@rplevy@ztellman You have to rewind to 2008 (and earlier for older posts). https://t.co/A5nLhBwoeq
Getting into the classic comment sections requires more timeline clicking but it's worth it
Viaweb used zero databases!
@posco@runT1ME@ayirpelle Scalaz top-down (eventually merged): https://t.co/ariZMo68FS
Scalaz bottom-up (not merged): https://t.co/2Dhryr6YFq
Purescript array (merged years before the Scalaz, by the way): https://t.co/7ILnjuUXI6
@kmett@lambda_foo@pchiusano@runarorama If you want to see the resulting codebase, i.e. the production version of Ermine, it's not on Github. https://t.co/ayBd2cTnKK
@puffnfresh@jedws@carlfish@NickSeagull@mattoflambda@_jjant Indeed I wasn't talking about the "can't be bothered to glance at the available combinators" issue of programming practice at all, @dibblego did that perfectly well already https://t.co/gAEVIcQ6rK . If readers can take the hint and generalize the point he's making