tiphareth: Поеттеринг свалил из редхата в микрософт

(Читать комментарии) - (Добавить комментарий)

(Анонимно)
2022-07-09 14:48 (ссылка)

Ну я так и подумал, что ты опять малофейничаешь, но аргумент, что типизация рантайма мешает языку иметь высшие типы, в общем валидный. F# с этим по уродски пытался разобраться. F* разобрался полностью. Но они никому не нужны.

"взять k-тый элемент" а какой тип у этой операции?

(Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2022-07-10 08:17 (ссылка)

> "взять k-тый элемент" а какой тип у этой операции?

i -> Tuple<T_1, ..., T_i, ..., T_n> -> T_i.

определить только для compile-time constant i, рантайм-тип Tuple генерить on the fly любой сигнатуры. собственно, первое ограничение в C++ и действует, там нельзя написать size_t i := input(); auto x = get<i>(t). есть же Roslyn, неужели он не позволяет это сделать?

плюс в java вполне наличествует type erasure, а нормальных кортежей все равно нет (хотя в java идеологи не хотят даже pair в язык пускать, "why do you want to do it", но вряд ли с этим связано - там ещё есть совершенно чудовищный модуль https://docs.oracle.com/javase/8/docs/api/java/util/function/package-summary.html)

> высшие типы

ты, видимо, про higher kinded types, я про dependent (N -> *, в частности), но может это связано.

> Но они никому не нужны.

Подозреваю, это потому, что на F* писать убьешься. lambda и async/await (которые на самом деле delimited continuation и причапали в мейнстрим из функциональных языков, вероятно, не без посредства seaside - по кр мере в JS/node) тоже были "никому не нужны"; но вообще довольно очевидно, что за provable programming будущее, иначе самолеты, ракеты и банковские счета так и будут летать "иногда", и вопрос только в том, когда assistance и концепции мейнстримных языков до этого дорастут.

> малофейничаешь

что эта хуйня значит вообще, в яндекс-гугло-выдаче один результат, какое-то редчайшее говноедство, типа идиоглоссии. пиши правильно, то есть понятно.

An idioglossia (from the Ancient Greek ἴδιος ídios, 'own, personal, distinct' and γλῶσσα glôssa, 'tongue') is an idiosyncratic language invented and spoken by only one person.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-10 14:08 (ссылка)
	его узус развился из защеканского детства - он таким образом проецирует и отрицает (Ответить) (Уровень выше)

(Анонимно)
2022-07-10 17:03 (ссылка)

Окей. Ну функциональщина приходит в мейнстрим, когда становится нужна. Например, телефоны форсят асинк юи и асинк ио.

> будущее, иначе самолеты, ракеты и банковские счета так и будут летать "иногда"

Боюсь, в этом и состоит будущее, по крайней мере консюмерского софта. Great again он уже не станет.

> малофейничаешь идиоглоссии

Рад, что ты спросил. Ну придумал я это слово и оно мне нравится, я ржу каждый раз когда его пишу и особенно читаю. Ну еще интересно, зафорсится ли оно. Оно как бы подходит для тифаретника. Ради этого и пишу это вот все.
Вот знакомые из Сибири употребляют слово хуёвничать, смысл примерно похож.
А в семье мы вообще употребляем очень безумные слова, очень сильно зависимые от контекста, они помогают выразиться и понять намного точнее. Может потому что мы аспергеры.

Ладно, хватит малофейничать.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-11 05:13 (ссылка)
	а теперь, друзья, давайте похуёвничаем! (Ответить) (Уровень выше)

(Читать комментарии) -