Safe Haskell

yroslavasako

То, о чём так долго говорили большевики, наконц-то сбылось. Встречайте: http://www.haskell.org/ghc/docs/7.2.1/html/users_guide/safe-...

unsafePerformIO :: IO a -> a

Maurog

а можно для непонятливых разжевать о чем речь?
какие гарантии появляются и обеспечиваются? каких гарантий можно ожидать от FFI-функций? они вроде прикидываются чистыми, а сами творят что хотят

Dasar

а можно для непонятливых разжевать о чем речь?

верифицируется, что статически-строго-типизированный код действительно является таковым

Maurog

верифицируется, что статически-строго-типизированный код действительно является таковым

все равно не понятно