@steveklabnik I've figured out why CSS-as-programming is weird: can't index out of bounds. Can't be a program if you can't fuck up indices.
-
-
-
Replying to @steveklabnik
@steveklabnik you can still statically index out of bounds in idris.2 replies 0 retweets 0 likes -
Replying to @Gankra_
@Gankro (but I thought you couldn't. Or do you mean that it forces you to handle the case?)
1 reply 0 retweets 0 likes -
Replying to @steveklabnik
@steveklabnik I'm assuming it handles indices with dependent typing. So basically index out of bounds == type error.1 reply 0 retweets 0 likes -
-
-
-
Replying to @steveklabnik
@steveklabnik Can you even write invalid CSS that makes it past the parser?2 replies 0 retweets 1 like -
Replying to @Gankra_
@steveklabnik (the official answer is: anything bordering on invalid in CSS past parsing is just silently ignored)1 reply 0 retweets 2 likes
-
-
Replying to @Carols10cents
@Carols10cents @Gankro@steveklabnik *contemplates who would win in a fight between CSS and Iron Man*0 replies 0 retweets 1 likeThanks. 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.