lkitching

10 ms·

1. 91.▲
   by lkitching 10y ago

   Type classes are quite different from interfaces. How would you encode the Eq typeclass in F#? .Net has the IEqualityComparer<T> interface but you need to manually pass that around (unlike Eq instances) and you also lose the global un
2. 92.▲
   by lkitching 10y ago

   Isn't Elixir dynamically typed?
3. 93.▲
   by lkitching 10y ago

   I use IntelliJ when writing Ruby, and the navigation and refactoring tools are much less reliable than those for Java. Finding symbol references can return a lot of false positives since it cannot use the type of the receiver, and a lot of
4. 94.▲
   by lkitching 10y ago

   The behaviour of 'tail []' is not a failure of static typing but of the specified type of tail. tail is partial but fails to represent that in its type when it could easily do so. Changing it to List a -> Maybe (List a) would b
5. 95.▲
   by lkitching 10y ago

   90% of the time you don't need to check the value for null, because it won't be null and that will be reflected in the type. In langauges where all types contain null, there is no way for a function to communicate that it always r