Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @Iceland_jack
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @Iceland_jack
-
Pinned TweetThanks. Twitter will use this to make your timeline better. UndoUndo
-
_ジャック Retweeted
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 :)https://twitter.com/ndm_haskell/status/1224057273598779392 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
_ジャック RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
_ジャック RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
Note to self 9 hour night bus to Kyoto is not the cozy money saver my brain makes it out to be
Thanks. Twitter will use this to make your timeline better. UndoUndo -
_ジャック Retweeted
fromNat :: (forall n. SNat n -> r) -> Nat -> rhttps://gist.github.com/monadplus/5671d468dc9421aabd7c89c625a64702 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
_ジャック RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
_ジャック Retweeted
This crystallized contravariance for me: https://news.ycombinator.com/item?id=17372644 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
_ジャック Retweeted
I must highlight this great post about covariance and contravariance, and not just for
#haskell. 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,etchttps://www.fpcomplete.com/blog/2016/11/covariance-contravariance …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thank you for organizing this
@igrep and everyone!!!
https://twitter.com/igrep/status/1223748615509704704 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
_ジャック Retweeted
Fun day canvassing in Santa Clara County with my son and other volunteers for
@BernieSanders!#FeelTheBernpic.twitter.com/c6uWbK0DkN
Thanks. Twitter will use this to make your timeline better. UndoUndo -
_ジャック Retweeted
class Monad m => C m where f :: m a -> m (a, a) と違うというのが言いたいことやな
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
_ジャック Retweeted
class Monad m => c m ... と class C a where f :: Monad m => m a -> m (a, a) は,まるで違うぞ...
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
_ジャック RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
_ジャック Retweeted
DerivingViaがすべてを解決した https://github.com/takoeight0821/malgo/commit/06a2cb6ffed3e2d9795b0f9bf790d4fee05cdd61 …pic.twitter.com/pjLQK0Inqg
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
"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"https://www.reddit.com/r/haskell/comments/ei5kek/monthly_hask_anything_january_2020/ffu4qcp/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
This is wip > via Ap where (negate + negate) 10 -20 > (via Ap where negate + negate) 10 -20
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
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.
