Строгая система типов, но ленивое исполнение
антиподы
А, строгий в смысле strict а не в смысле strong
строгий и strong — это не связанные слова
Если язык ленивый, то сделать какие-то части строгими относительно несложно. А вот наоборот - большие сложности, ну либо большие проблемы с быстродействием.
Кажется, что не совсем: https://wiki.haskell.org/Lazy_vs._non-strict
Обсуждают сегодня