Size: a a a

2021 May 18

v

vacuité. in Haskell
Только что.
источник

v

vacuité. in Haskell
Пардон.
источник

[

[BRM]White Rabbit in Haskell
Strong, static и strict это, конечно, всё слова на s, но смысл у них разный и описывают они разные вещи
источник

[

[BRM]White Rabbit in Haskell
Следуя этим понятиям, хаскель strongly static typed & lazy
источник

JS

Jerzy Syrowiecki in Haskell
конструктивно, пожалуйста. если кто-то ошибается, покажите, в чём именно
источник

[

[BRM]White Rabbit in Haskell
Я не всесильный, сразу с телефона всё писать
источник

[

[BRM]White Rabbit in Haskell
Но вроде бы уже расписал, где человек ошибся, нет?
источник

JS

Jerzy Syrowiecki in Haskell
уже да, спасибо
источник

K

Kir in Haskell
Добавить ~ к паттерну параметра. Это как бы не совсем то, но вроде как бы да
источник

JS

Jerzy Syrowiecki in Haskell
наверно, это связано с популярной фразой, что в Хаскеле "строгая статическая типизация", которую одни понимают в смысле "сильная типизация", другие — в смысле "компилятор такой строгий, ругается постоянно", а третьи вот путают со строгим порядком вычисления
источник

[

[BRM]White Rabbit in Haskell
Если компилятор ругается, это лишь значит, что ты выбрал правильный язык
источник

v

vacuité. in Haskell
Как я понял, ленивый и строгий это неразлучные вещи?
источник

[

[BRM]White Rabbit in Haskell
➖нет
источник

[

[BRM]White Rabbit in Haskell
Это как теплое и мягкое
источник

[

[BRM]White Rabbit in Haskell
Разные описаиельные харатеристики
источник

JS

Jerzy Syrowiecki in Haskell
контрпримеры — Интеркал, Malbolge
источник

K

Kir in Haskell
Строгая система типов, но ленивое исполнение
источник

JS

Jerzy Syrowiecki in Haskell
антиподы
источник

[

[BRM]White Rabbit in Haskell
Как "высокий" и "умный". Человек может быть высокий и умный, высокий и глупый, низкий и умный...
Одно от другого не зависит.
источник

DM

Dmitriy Mozhevitin in Haskell
да, точно, забыл про ~
источник