-
Defining free monoids sold me on "higher inductive types"pic.twitter.com/VAf0hxaJmR
-
-
Richard what have you been up t.. oh. https://github.com/goldfirere/funeq/blob/master/All.hs …pic.twitter.com/MUNmkHIIxO
Prikaži ovu nit -
Boss: please come up with applying a function inside of a double continuation fired: (. ((. ((. ((. ((. (.)) . (.))) . (.))) . (.))) . (.))) . (.) hired: (<*>) @(via Compose . fmap cont . cont)
#ApplyingViapic.twitter.com/Ia72V0assu
Prikaži ovu nit -
A Quick Look at Impredicativity
#HaskellPDF: https://www.microsoft.com/en-us/research/uploads/prod/2020/01/quick-look.pdf …pic.twitter.com/vqxgPTRp7l
Prikaži ovu nit -
Hey did you know (<$> "Hello") is isomorphic to "Hello" That's
#YonedaPrikaži ovu nit -
"How do I get to the next level?" https://www.reddit.com/r/haskell/comments/ddpp7n/how_do_i_get_to_the_next_level/ …pic.twitter.com/8bP1KxWojd
-
Sensible, reads like English, standard operator: not . inRange (1, 99) Bad, reads like a fucking joke, hear it in Borat voice inRange (1, 99) >>> not
-
:instances New feature of GHC 8.10 https://ghc.gitlab.haskell.org/ghc/doc/users_guide/8.10.1-notes.html …pic.twitter.com/dkT05CxFpx
Prikaži ovu nit -
Knuth-Morris-Pratt in Haskell https://web.archive.org/web/20070717171527/http://twan.home.fmf.nl/blog/haskell/Knuth-Morris-Pratt-in-Haskell.details …
Prikaži ovu nit -
Running one action after another is a function in Haskell (*>) :: IO a -> IO b -> IO b Instead of do act1 act2 act3 .. we can equivalently write act1 *> act2 *> act3pic.twitter.com/nsHL4dhI5n
Prikaži ovu nit -
"-XRenamingVia" "-XImportingVia" this is getting out of handhttps://twitter.com/Iceland_jack/status/1125452864007102471 …
Prikaži ovu nit -
Here is a GHC proposal (accepted) that REMOVES functionality · Covariance of function types · Contravariance of function types · Deep skolemisation · Deep instantiation https://twitter.com/nomeata/status/1220727045292003331 …pic.twitter.com/0z3Yzs7j6B
Prikaži ovu nit -
Brand-new: A Role for Dependent Types in Haskell (Extended version)
#HaskellPDF: https://arxiv.org/pdf/1905.13706v1.pdf …pic.twitter.com/xkkMWRi8vE
Prikaži ovu nit -
Hey Japanese Haskellers! I'm going to be in 日本 (fly to Narita) will be alone there 27-jan to 2-feb with girlfriend from 2-10. Open to suggestions, travel, Haskell meetups. It would help a lot if anyone can offer accommodation, I will paint you a picture and sing
@cdepillaboutPrikaži ovu nit -
-
x -> x
it basically looks like a lambda
Č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.