Rezultati pretraživanja
  1. Jesus look at that last line, I didn't know you could do that

    Prikaži ovu nit
  2. Defining free monoids sold me on "higher inductive types"

  3. 27. sij

    Got interviewed for TV.

  4. Yes this kind of programming I like

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

    Prikaži ovu nit
  7. 18. sij
    Prikaži ovu nit
  8. RFC (+) :: Int -> Int -> int (+) = (<>) @(Int via Sum Int)

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

    Prikaži ovu nit
  10. To I will refer to Functor as FunctorOf (->) (->) from now on

    Prikaži ovu nit
  11. 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

  12. Prikaži ovu nit
  13. This has been a huge inspiration Types for Programming and Reasoning

  14. Check out Advanced Functional Programming from I took it several years ago, some of the code at least hasn't changed much

    Prikaži ovu nit
  15. 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.