YR
вот кстати про прим - хайлайт ломает в Гитлабе, в Крусибле, еще где-то видел... Так что, я вот пишу 1,2,3 суффиксы и давным-давно завязал с этими примами
Size: a a a
2020 October 28
JS
Нет, это значит простое число
нет, вы путаете омонимы
HS
нет, вы путаете омонимы
Я хотел ответить, но увидел подпись рядом с ником (
JS
правая часть - валидный синтаксис? или что имелось в виду, какая реализация?
невалидный в Хаскеле. имелись в виду соответствующие типы-суммы и произведения
і
Я хотел ответить, но увидел подпись рядом с ником (
😂
JS
Можно просто говорить "но ведь булева слепота" и делать свои Yes | No, WithBomb | WithoutBomb.
кстати, "булева слепота" не относится к именам конструкторов
AT
невалидный в Хаскеле. имелись в виду соответствующие типы-суммы и произведения
то есть, как Сергей сделал? рекорд с полем “тип”, в котором тип-сумма?
я не знаю, как для data Field a = Field a задать констрейнт на “а”, чтобы туда только FieldType лез
я не знаю, как для data Field a = Field a задать констрейнт на “а”, чтобы туда только FieldType лез
VD
кстати, "булева слепота" не относится к именам конструкторов
Но ведь True и False это имена конструкторов!
(вообще это был легкий троллинг и готовое оправдание к "мне почему-то так больше нравится)
(вообще это был легкий троллинг и готовое оправдание к "мне почему-то так больше нравится)
JS
аа ааа
data FieldType
= Bomb
| NotBomb
data FieldStatus
= Opened
| Closed
| WithFlag
data Field = { status :: FieldStatus, type_ :: FieldType }
вот так вроде ничего
+
JS
то есть, как Сергей сделал? рекорд с полем “тип”, в котором тип-сумма?
я не знаю, как для data Field a = Field a задать констрейнт на “а”, чтобы туда только FieldType лез
я не знаю, как для data Field a = Field a задать констрейнт на “а”, чтобы туда только FieldType лез
+
JS
то есть, как Сергей сделал? рекорд с полем “тип”, в котором тип-сумма?
я не знаю, как для data Field a = Field a задать констрейнт на “а”, чтобы туда только FieldType лез
я не знаю, как для data Field a = Field a задать констрейнт на “а”, чтобы туда только FieldType лез
data Field = Field FieldTypeVD
Я бы еще в
FieldType = Bomb | NotBomb второй конструктор переименовал в "Clear" или "Empty".аа
Я бы еще в
FieldType = Bomb | NotBomb второй конструктор переименовал в "Clear" или "Empty".согласен
VD
Забыл как называется этот принцип, когда тип определяется тем, чем он является, а не тем, чем он не является 🤔
JS
Забыл как называется этот принцип, когда тип определяется тем, чем он является, а не тем, чем он не является 🤔
конструктивность?
VD
Да, вероятно.
JS
или репрезентативность, может быть
JS
(ещё "прим", но это от программистов или математиков я почему-то никогда не слышал)
x', x'', x''' математики называют "икс штрих", "икс два штриха", "икс три штриха", а юристы — "икс прим", "икс бис" и "икс тер"
і
x', x'', x''' математики называют "икс штрих", "икс два штриха", "икс три штриха", а юристы — "икс прим", "икс бис" и "икс тер"
юристы умные
латынь знают
латынь знают