Телеграмм чат группы haskell

08:05пожаловаться #1

Нет, я говорил про устройство самой структуры с применением (->) или без.
Например, алгебраические типы данных - это те, которые имеют более одного конструктора, а в случае с ридером мы видим, что функция является базовой частью структуры. Вот вопрос, собственно, в этом: как называются такие структуры?

08:37пожаловаться #2

Чистое произведение имеет один конструктор, но является алгебраическим типом (позанудствовал)

08:53пожаловаться #3

Спасибо! Потому, что я так и думал, но в каком-то из ответов прочёл данную неточность.

09:08пожаловаться #4

[

Если мы говорим про адт, то стрелка тут возедение в степень. a -> b = b ^ a
Хотя я не уверен, что тебе нужно это, а не какая-то интуиция "почему функция это значение"

Зигохистоморфный Пре... in Haskell Start

09:45пожаловаться #5

ЗП

у стрелки населенность b ^ a
а не степень - стрелка
у типов мощность изоморфная числам Пеано

09:48пожаловаться #6

[

Ок

09:50пожаловаться #7

А "адт" - это абстрактное дерево чего-то там?

Хаскелль Моисеевич Г... in Haskell Start

09:52пожаловаться #8

ХГ

Algebraic data types

09:53пожаловаться #9

[

Algebraic Data Types

Хаскелль Моисеевич Г... in Haskell Start

09:53пожаловаться #10

ХГ

Дерево это ast

09:53пожаловаться #11

Да просто половина из вас пишет без знаков препинания, а другая половина - на русском английском 😂

09:55пожаловаться #12

[

да, но обычно это локальная доменная терминология чата/тусовки, которая быстро учится и часто используется. А, ну и я люблю вводить аббревиатуры для ускорения.

10:07пожаловаться #13

Elijah in Haskell Start

Предлагаю ввести аббревиатуру лдтч

10:22пожаловаться #14

[

)
я ввожу не часто используемые аббревиатуры для того, чтоб один разговор короче писать. Если слишком локально, каждый следующий разговор придётся переобозначать сокращения

10:24пожаловаться #15

Ща я тоже кое что введу: правило "будьте дружественны по отношентю к вновь прибывшим"

10:31пожаловаться #16

Никаких "адт"

10:32пожаловаться #17