Tweets

You blocked @Iceland_jack

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @Iceland_jack

  1. Pinned Tweet

    Omg I'm an error message now?

    Undo
  2. seven years ago Neil accepted my first ever PR and I was encouraged by his example to enter the world of open source software. Glad to see him out there still inspiring these next generations :)

    Undo
  3. 10 hours ago
    Replying to
    Undo
  4. Undo
  5. Note to self 9 hour night bus to Kyoto is not the cozy money saver my brain makes it out to be

    Undo
  6. 19 hours ago

    fromNat :: (forall n. SNat n -> r) -> Nat -> r

    Undo
  7. Undo
  8. tíu dropar

    Show this thread
    Undo
  9. Feb 1

    This crystallized contravariance for me:

    Undo
  10. Feb 1

    I must highlight this great post about covariance and contravariance, and not just for . The fact that co/contravariance have an even/odd parity structure (where odd*odd = even, etc) is key to many confusions Ive had in the past in math/physics,etc

    Undo
  11. Thank you for organizing this and everyone!!! 👨‍💻

    Undo
  12. Feb 1

    Fun day canvassing in Santa Clara County with my son and other volunteers for !

    Undo
  13. Feb 1

    class Monad m => C m where f :: m a -> m (a, a) と違うというのが言いたいことやな

    Show this thread
    Undo
  14. Feb 1

    class Monad m => c m ... と class C a where f :: Monad m => m a -> m (a, a) は,まるで違うぞ...

    Show this thread
    Undo
  15. Jan 31
    Undo
  16. Jan 31
    Undo
  17. Jan 31
    Show this thread
    Undo
  18. derive superclasses implicitly was struck down deriving stock Ord -> deriving stock (Eq, Ord) because Eq would be implicitly defined. But it's painful to basically maintain GND instances for every single modifier.

    Show this thread
    Undo
  19. I have wanted for a while to more easily layer them. It's ridiculous that we only care about Monoid/Num/Bounded for Ap yet have to use GND to derive everything else. Currently GHC never implicitly defines type class instances. This was the reason why my suggestion to ..

    Show this thread
    Undo
  20. "does anyone have a mirror for SPJ's intro to lenses? I remember watching it some time ago and it was one of the clearest intros I've seen"

    Undo
  21. This is wip > via Ap where (negate + negate) 10 -20 > (via Ap where negate + negate) 10 -20

    Show this thread
    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·