Rezultati pretraživanja
  1. Defining free monoids sold me on "higher inductive types"

  2. 27. sij

    Got interviewed for TV.

  3. Prikaži ovu nit
  4. Boss: please come up with applying a function inside of a double continuation fired: (. ((. ((. ((. ((. (.)) . (.))) . (.))) . (.))) . (.))) . (.) hired: (<*>) @(via Compose . fmap cont . cont)

    Prikaži ovu nit
  5. 18. sij
    Prikaži ovu nit
  6. Hey did you know (<$> "Hello") is isomorphic to "Hello" That's

    Prikaži ovu nit
  7. 30. sij

    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

  8. Prikaži ovu nit
  9. Prikaži ovu nit
  10. 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 *> act3

    Prikaži ovu nit
  11. "-XRenamingVia" "-XImportingVia" this is getting out of hand

    Prikaži ovu nit
  12. 24. sij

    Here is a GHC proposal (accepted) that REMOVES functionality · Covariance of function types · Contravariance of function types · Deep skolemisation · Deep instantiation

    Prikaži ovu nit
  13. Brand-new: A Role for Dependent Types in Haskell (Extended version) :

    Prikaži ovu nit
  14. 12. sij

    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

    Prikaži ovu nit
  15. Come to Haskell, we have the best for's.

    Prikaži ovu nit
  16. 🏃🏻‍♀️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.