News for hackers. Stuff that matters.
Re:Unix is not an acceptable Unix by icebraining on Monday June 08, 2015 @04:23AM (#9677829)
since you don't have to have unit tests to guard for things like (...) param order (...)

Well,

  precoding :: Int -> Int -> Int -> (Int, Int) -> Precoding

  rsa_dp :: Integer -> Integer -> Integer -> Either RSAError Integer

  compile :: String -> String -> String -> Map Name Interface
             -> Either String (Interface, String)
Re:Unix is not an acceptable Unix by alkonaut on Monday June 08, 2015 @01:26PM (#9680618)
You can always choose not to use types even when you have them. If a method has multiple args of the same (system) type it's poorly typed, at least in a language that allows type aliases.