AC
новенькая
B – это не «конструктор с полем-парой», это именно «конструктор с двумя элементами». Первое – было бы В of (int * int)Size: a a a
2020 September 28
X
Это не кортеж, это изоморфность кортежу.
Да ну, мне всё же кажется, что это конструктор с одним элементом, который принимает в себя кортеж из двух элементов
Y
А ежели вы про «набор фич из 70-х», то все человеки из поколения -50000, с тех пор тоже никаких новых фич
Y
Да ну, мне всё же кажется, что это конструктор с одним элементом, который принимает в себя кортеж из двух элементов
Это только синтаксически кажется, потому что взять конструктор и скормить ему кортеж не получится.
AC
А ежели вы про «набор фич из 70-х», то все человеки из поколения -50000, с тех пор тоже никаких новых фич
а как же информационная зависимость?
AA
Ну скажите ещё, что я там неправду написал
хаскелисты не верят - надо было цитатами подкрепить
D
так в англоязычном за ненависть не знают
С
AA
А ежели вы про «набор фич из 70-х», то все человеки из поколения -50000, с тех пор тоже никаких новых фич
так поколения людей, в отличие от поколений языков - это ерунда же
С
С
так в англоязычном за ненависть не знают
Не знаю о чем речь, но термин internet hate machine не в российском интернете появился
LO
D
Не знаю о чем речь, но термин internet hate machine не в российском интернете появился
Там речь была о том, что гранин хейтер хаскелистов, а вот англоязычные участники комьюнити-то и не знают
X
Это только синтаксически кажется, потому что взять конструктор и скормить ему кортеж не получится.
Точно?
Y
-( 12:54:48 )-< command 0 >------------------{ counter: 0 }-
utop # type no_tuple = NT of int * int;;
type no_tuple = NT of int * int
-( 12:54:48 )-< command 1 >------------------{ counter: 0 }-
utop # type tuple = T of (int * int);;
type tuple = T of (int * int)
-( 12:55:38 )-< command 2 >------------------{ counter: 0 }-
utop # let a = 12, 34;;
val a : int * int = (12, 34)
-( 12:55:48 )-< command 3 >------------------{ counter: 0 }-
utop # T a;;
- : tuple = T (12, 34)
-( 12:56:05 )-< command 4 >------------------{ counter: 0 }-
utop # NT a;;
Error: The constructor NT expects 2 argument(s),
but is applied here to 1 argument(s)AA
-( 12:54:48 )-< command 0 >------------------{ counter: 0 }-
utop # type no_tuple = NT of int * int;;
type no_tuple = NT of int * int
-( 12:54:48 )-< command 1 >------------------{ counter: 0 }-
utop # type tuple = T of (int * int);;
type tuple = T of (int * int)
-( 12:55:38 )-< command 2 >------------------{ counter: 0 }-
utop # let a = 12, 34;;
val a : int * int = (12, 34)
-( 12:55:48 )-< command 3 >------------------{ counter: 0 }-
utop # T a;;
- : tuple = T (12, 34)
-( 12:56:05 )-< command 4 >------------------{ counter: 0 }-
utop # NT a;;
Error: The constructor NT expects 2 argument(s),
but is applied here to 1 argument(s)в эфшарпе получится
let foo = Bin <| (Empty,1,Empty)Y
Это в общем-то неконсистентный синтаксический косяк – скобки у кортежей вроде как необязательны, но в описании типа они меняют семантику. В ризоне это попытались исправить, но не помню как.
АГ
Numerous instances of calling names under bold assumptions targeting haskellers (not individuals, but as a whole), at least in the Russian-speaking part of the community.
Не, ну если мы начнем перечислять, какую пургу the Russian-speaking part of the community несло в мою сторону, то еще неизвестно, куда баланс упадет
KV
Могу дописать, что Russian-speaking community в ответ тоже люто-бешено ненавидит. Это не оценочное суждение
Y
в эфшарпе получится
let foo = Bin <| (Empty,1,Empty)В окамле конструкторы не функции же =(