_ジャック

@Iceland_jack

, tweets

City of London, London
Prikaz prijenosa uživo Prijenos UŽIVO
Vrijeme pridruživanja: listopad 2014.

Medijski sadržaj

  1. prije 1 sat
    Odgovor korisniku/ci

    ALRIGHT no shame

    3 korisnika označavaju da im se sviđa
  2. prije 6 sati

    I'm ashamed

    6 korisnika označava da im se sviđa
  3. 2. velj

    1 proslijeđeni tweet 19 korisnika označava da im se sviđa
  4. 1. velj
    Odgovor korisniku/ci

    Same energy lol

    2 korisnika označavaju da im se sviđa
  5. 31. sij
    Odgovor korisniku/ci

    I want the emergent class hierarchy to look nice. I don't see the Category class being a useful abstraction, with the second -{p}> arrow id can't be linear polymorphic! Knowing nothing about LTs, I want to know what hierarchies other approaches, linearity in kinds etc. produce

    1 reply 1 korisnik označava da mu se sviđa
  6. 31. sij
    Odgovor korisniku/ci

    That's right, those are in fact not type classes ("faux class" rhyming with faux pas) Eisenberg calls them pseudo-classes

    2 korisnika označavaju da im se sviđa
  7. 31. sij

  8. 31. sij

  9. 30. sij
    Odgovor korisnicima

    1 reply 4 korisnika označavaju da im se sviđa
  10. 30. sij
    Odgovor korisniku/ci

    >> :instances WriterT (Data.Monoid.Product Q') (StateT Int []) ..

    1 reply
  11. 30. sij
    Odgovor korisnicima

    Right.. so infixl 0 <- would prevent mixing <- and ->

  12. 30. sij

    2 korisnika označavaju da im se sviđa
  13. 29. sij

    Deats dy Br. Bre

    5 korisnika označava da im se sviđa
  14. 29. sij

    Kolniðamyrkur = coal waning darkness

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
  15. 29. sij

    There it is!!

    Prikaži ovu nit
    Prikaži ovu nit
  16. 29. sij

    1 reply 2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  17. 29. sij

    These are the kinds (get it?) of types I expected :)

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  18. 29. sij
    Odgovor korisniku/ci

    1 reply 1 korisnik označava da mu se sviđa
  19. 29. sij
    Odgovor korisnicima

    hm type Optional :: Type -> Type data Optional a = None () | Some a deriving (Functor, Foldable, Apply, Applicative, Alt, Bind, Extend, Monad, MonadFix, ..) via Either ()

    1 reply 1 korisnik označava da mu se sviđa
  20. 29. sij

    Help what am I doing, I'm in Niigata

@Iceland_jack još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

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

    ·