Список проголосовавших за комментарий "meat, если в php строка и нетипизированный хэш — это основные типы о какой качественной проверке идет речь? Эти типы еще кто то должен описать. дружише посмотри как это реально работает в haskell-е или scale."