OH: In ruby I spend more time maintaining a system that gives me a fraction of the safety a type checker does
-
-
Replying to @andriidzynia
@adzynia I have written the most inefficent type checker in history (mutant). ;)
1 reply 0 retweets 0 likes -
Replying to @_m_b_j_
@adzynia You could see a mutation testing engine as something that validates invariants (types) you could not express in source.
1 reply 0 retweets 0 likes -
Replying to @andriidzynia
@adzynia I go with the hypothesis a sufficiently strong type system puts a mutation tester mostly out of business. Looking at you
#Idris.2 replies 0 retweets 1 like -
This Tweet is unavailable.
-
Replying to @0hjc
@0hjc Yeah. But I think there are some mutations even Idris cannot kill via its types. @adzynia@edwinbrady2 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.