-
Jesus look at that last line, I didn't know you could do that
#Haskellpic.twitter.com/C9wGtY4a4L
Prikaži ovu nit -
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 -
RFC (+) :: Int -> Int -> int (+) = (<>) @(Int via Sum Int)
Prikaži ovu nit -
Hey did you know (<$> "Hello") is isomorphic to "Hello" That's
#YonedaPrikaži ovu nit -
To
#RaiseAwareness I will refer to Functor as FunctorOf (->) (->) from now onPrikaž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 -
This has been a huge inspiration Types for Programming and Reasoning
#HaskellPDF http://www.janis-voigtlaender.eu/papers/TypesForProgrammingAndReasoning.pdf … -
Check out Advanced Functional Programming from
@chalmersuniv I took it several years ago, some of the code at least hasn't changed much https://chalmers.instructure.com/courses/3766Prikaž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
Č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.