News for hackers. Stuff that matters.

A comment on Type checking in Python. Parent comment

Re:Type checking in Python by raverbashing on Sunday May 18, 2014 @12:10PM (#7763416)
Monads

Or more specifically, how non-intuitive it is to use the IO stuff

I don't care what it uses, or what is it called, I care about being able to use it with what I know

So yeah, I'll go for Go instead of Haskell

[ Parent | on HN ]
Re:Type checking in Python by Peaker on Monday May 19, 2014 @03:25AM (#7766142)
The IO stuff has almost nothing to do with monads.

It is unfamiliar, but if you use static typing, at least reap the benefits of better error checking, no runtime null dereferences, etc.

[ Parent | on HN ]
Re:Type checking in Python by frowaway001 on Monday May 19, 2014 @07:40AM (#7766936)
Yeah, because why would we ever need the compiler to help us identifying operations which make it harder to reason about our programs!
[ Parent | on HN ]