@edwinbrady I get asked that question a lot - though funnily enough people don't ask it about ints arriving as strings in Java.
-
-
-
@ctford There is a similar correspondence with "How do you know your types are correct?" while not worrying whether tests are correct. - 2 more replies
New conversation -
-
-
@edwinbrady almost-Shakespearean character change `Either (to b) (to (not b)` :) -
@bishboria Heh. So many different punny names we could use there :).
End of conversation
New conversation -
-
-
@edwinbrady I am happy that your answer was similar to the one I left earlier; sad both are buried by nonsense. -
@pineal_servo Ah, well, that's the internet for you :). I just thought it was best to give a complete self-contained example.
End of conversation
New conversation -
-
-
@edwinbrady Problem there is that when you get stuck, the *first* thing the people on IRC insist will be that you not use so. -
@a_cowley I think getting 'so' is a useful step on the road to learning more interesting things.
End of conversation
New conversation -
-
-
@edwinbrady Great :) Could you also show us how to prove with 'so' - combining two runtime proofs into a new one: https://gist.github.com/bssstudio/070065c775a491287bb1 … -
@bssstudio One of the main problems with 'so' is that you can't easily do that. It only lets you enforce that a dynamic check happens. - 1 more reply
New conversation -
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.