Functor Fact

@FunctorFact

Functional programming and category theory tweets from

Vrijeme pridruživanja: lipanj 2016.

Tweetovi

Blokirali ste korisnika/cu @FunctorFact

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @FunctorFact

  1. Prikvačeni tweet
    23. lip 2016.

    "The essential virtue of category theory is as a discipline for making definitions, the programmer’s main task in life." -- D. E. Rydeheard

    Poništi
  2. prije 20 sati

    'Programming languages teach you not to want what they don't provide.' -- Paul Graham

    Poništi
  3. 4. velj

    'I've decided that the Yoneda lemma is the hardest trivial thing in mathematics.' --

    Poništi
  4. 31. sij

    In the category of Abelian groups, direct sum is both a product and a coproduct.

    Poništi
  5. proslijedio/la je Tweet
    30. sij

    Locating performance bottlenecks in large Haskell codebases. ~ Juan Raphael Diaz Simões.

    Poništi
  6. 30. sij

    Where the names of the Schönfinkel combinators I, K, S, T, and Z come from

    Poništi
  7. 30. sij
    Poništi
  8. 29. sij

    'Sheaf theory is the subject in which you do topology horizontally and algebra vertically.' -- M. Auslander

    Poništi
  9. 28. sij

    Deconstructing functional programming Presentation by

    Poništi
  10. 27. sij

    The State Monad: A Tutorial for the Confused?

    Poništi
  11. 24. sij

    Currying in calculus, PDEs, programming, and categories

    Poništi
  12. 23. sij

    Basic Category Theory for Computer Scientists

    Poništi
  13. 22. sij

    Idris: a general purpose pure functional programming language with dependent types.

    Poništi
  14. 21. sij
    Poništi
  15. 20. sij

    The idea of subobject classifiers is to generalize indicator functions and use this to define something analogous to subsets in categories besides Set.

    Poništi
  16. proslijedio/la je Tweet
    19. sij
    Poništi
  17. 19. sij

    Aspects of categorical recursion theory

    Poništi
  18. 17. sij

    The programming language name Caml was originally an acronym for 'categorical abstract machine language.'

    Poništi
  19. 16. sij
    Poništi
  20. 15. sij

    re: one-to-one and onto vs injective an surjective It's nice when theorems that rhyme mathematically also rhyme verbally.

    Poništi
  21. 15. sij

    "The Yoda embedding, contravariant it is." -- Mike Stay

    Poništi

Č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.

    Možda bi vam se svidjelo i ovo:

    ·