feeling very convinced that sum types should not be ordered, right now
-
-
imagine if you will, impl Ord for RubyExpression
2 replies 0 retweets 1 like -
Nah, impossible, because it includes floats :)
1 reply 0 retweets 1 like -
Replying to @porglezomp @penelope_zone and
Actually tbh this matches my model of what Ord means… Ord means “includes no floats”
3 replies 0 retweets 0 likes -
floats are ord in haskell
2 replies 0 retweets 1 like -
listen, a lot of things are a lot of things
1 reply 0 retweets 0 likes -
things are ord
1 reply 0 retweets 0 likes -
Replying to @penelope_zone @mountain_ghosts and
No ORD is shut down aren't you paying attention to the news why would you want to get on a plane right now
1 reply 0 retweets 3 likes -
-
Replying to @mountain_ghosts @sgrif and
you see what you made me do? I used punctuation
2 replies 0 retweets 0 likes
Replying to @mountain_ghosts @penelope_zone and
yes.
3:11 PM - 23 Mar 2020
0 replies
0 retweets
0 likes
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.