EG
И позволяет делать индукцию по ним
Size: a a a
2020 October 30
p
(A, (B, (C, ()))) вот так норм
Но это глисты
p
Это делает туплы глистами
Нет
p
И позволяет делать индукцию по ним
Нет
p
Глисты требуют HNil в конце
EG
(A, (B, (C, ()))) вот так норм
Это плохо юзабельно
p
Это плохо юзабельно
Наоборот, на этом ты можешь сделать индукцию
p
На твоём варианте нельзя
b
а вы все об одном и другом же скучном да скучном
EG
Да на чём угодно можешь, лишь бы уметь абстрагироваться над количеством элементов
b
Переслано от badtrousers
в данный момент я бы консолидировал усилия чтобы делать какой–то язык вдохновленный растом, не тянуть за собой LLVM барахло. реально понять какие больные места у чуваков, которые пишут реальный лоу–левел софт, которые пишут железо. возможно сделать поддержку array programming или parallel programming чтобы этот язык имел смысл для FPGA/GPU программирования
b
Переслано от badtrousers
@f0land прикинь как круто было бы иметь в языке не
unsafe а ключевое слово типа restrict где синтаксис языка жестко ограничивается до логики первого порядка, линейных комбинаторов второго порядка… но есть гарантия, что это вычисление при возможности будет выполнено на GPU, напримерb
b
подумайте лучше на этот счет
EG
Но да, мой вариант тупит на переходе один-два элемента
b
то есть давайте все вмесе пофантазируем каким мог быть раст
AS
Это делает туплы глистами
а до этого (A, (B, C), D) не был хлистом?
EG
а до этого (A, (B, C), D) не был хлистом?
Ноп
По нему нельзя делать индукцию
По нему нельзя делать индукцию
p
подумайте лучше на этот счет
Этого в расте не будет если самим не делать
p
Мы это делать не будем