Size: a a a

2020 October 28

YR

Yuki Rito in Haskell
вот кстати про прим - хайлайт ломает в Гитлабе, в Крусибле, еще где-то видел... Так что, я вот пишу 1,2,3 суффиксы и давным-давно завязал с этими примами
источник

JS

Jerzy Syrowiecki in Haskell
Heartbreaker! Søkol
Нет, это значит простое число
нет, вы путаете омонимы
источник

HS

Heartbreaker! Søkol in Haskell
Jerzy Syrowiecki
нет, вы путаете омонимы
Я хотел ответить, но увидел подпись рядом с ником (
источник

JS

Jerzy Syrowiecki in Haskell
Alexander T
правая часть - валидный синтаксис? или что имелось в виду, какая реализация?
невалидный в Хаскеле. имелись в виду соответствующие типы-суммы и произведения
источник

і

іва in Haskell
Heartbreaker! Søkol
Я хотел ответить, но увидел подпись рядом с ником (
😂
источник

JS

Jerzy Syrowiecki in Haskell
Velvet Darkness
Можно просто говорить "но ведь булева слепота" и делать свои Yes | No, WithBomb | WithoutBomb.
кстати, "булева слепота" не относится к именам конструкторов
источник

AT

Alexander T in Haskell
Jerzy Syrowiecki
невалидный в Хаскеле. имелись в виду соответствующие типы-суммы и произведения
то есть, как Сергей сделал? рекорд с полем “тип”, в котором тип-сумма?
я не знаю, как для data Field a = Field a задать констрейнт на “а”, чтобы туда только FieldType лез
источник

VD

Velvet Darkness in Haskell
Jerzy Syrowiecki
кстати, "булева слепота" не относится к именам конструкторов
Но ведь True и False это имена конструкторов!
(вообще это был легкий троллинг и готовое оправдание к "мне почему-то так больше нравится)
источник

JS

Jerzy Syrowiecki in Haskell
аа ааа
data FieldType
   = Bomb
   | NotBomb

data FieldStatus
   = Opened
   | Closed
   | WithFlag

data Field = { status :: FieldStatus, type_ :: FieldType }

вот так вроде ничего
+
источник

JS

Jerzy Syrowiecki in Haskell
Alexander T
то есть, как Сергей сделал? рекорд с полем “тип”, в котором тип-сумма?
я не знаю, как для data Field a = Field a задать констрейнт на “а”, чтобы туда только FieldType лез
+
источник

JS

Jerzy Syrowiecki in Haskell
Alexander T
то есть, как Сергей сделал? рекорд с полем “тип”, в котором тип-сумма?
я не знаю, как для data Field a = Field a задать констрейнт на “а”, чтобы туда только FieldType лез
data Field = Field FieldType
источник

VD

Velvet Darkness in Haskell
Я бы еще в FieldType = Bomb | NotBomb второй конструктор переименовал в "Clear" или "Empty".
источник

аа

аа ааа in Haskell
Velvet Darkness
Я бы еще в FieldType = Bomb | NotBomb второй конструктор переименовал в "Clear" или "Empty".
согласен
источник

VD

Velvet Darkness in Haskell
Забыл как называется этот принцип, когда тип определяется тем, чем он является, а не тем, чем он не является 🤔
источник

JS

Jerzy Syrowiecki in Haskell
Velvet Darkness
Забыл как называется этот принцип, когда тип определяется тем, чем он является, а не тем, чем он не является 🤔
конструктивность?
источник

VD

Velvet Darkness in Haskell
Да, вероятно.
источник

JS

Jerzy Syrowiecki in Haskell
или репрезентативность, может быть
источник

JS

Jerzy Syrowiecki in Haskell
Jerzy Syrowiecki
(ещё "прим", но это от программистов или математиков я почему-то никогда не слышал)
x', x'', x''' математики называют "икс штрих", "икс два штриха", "икс три штриха", а юристы — "икс прим", "икс бис" и "икс тер"
источник

і

іва in Haskell
Jerzy Syrowiecki
x', x'', x''' математики называют "икс штрих", "икс два штриха", "икс три штриха", а юристы — "икс прим", "икс бис" и "икс тер"
юристы умные
латынь знают
источник

G

Gradi in Haskell
Добрый день.
Maybe реализует Read a => Read (Maybe a)
Однако код
Prelude> read "123" :: Maybe Int
*** Exception: Prelude.read: no parse

Бросает исключение.
Что я делаю не так?
источник