kb — Че-то я так и не понял зачем нужен ...

kb 18.11.2012 18:32

Че-то я так и не понял зачем нужен newtype, а главное — почему

ghci> helloMe undefined
"hello"
(отсюда http://learnyouahaskell.com/functors-app... )

не рушится (что, компилятор тупо слепо выкидывает паттернт-матчинг и всё? даже не смотря, что undefined ну никак не заматчится на boolean? на понимаю)