Size: a a a

2021 January 12

OB

Oleg B in dlang.ru
NC
Хм, в императивных языках сложность спрятана и неявная, она никуда не делась от того, что мы пишем int doAtomic(int) а не doAtomic :: Int -> STM Int
ты ж не интами одними оперируешь
источник

N

NC in dlang.ru
Не важно, там может быть любой тип.
источник

OB

Oleg B in dlang.ru
NC
Не важно, там может быть любой тип.
да я не про тип говорю, я говорю, что чтобы создать сложную систему нужно оперировать уже не типами данных а более объёмными структурами
источник

N

NC in dlang.ru
А какими, если не типами данных?
источник

OB

Oleg B in dlang.ru
NC
А какими, если не типами данных?
не с базовыми типами: структуры, классы, интерфейсы
источник

OB

Oleg B in dlang.ru
не увидел в функциональном языке способа управления сложностью
источник

OB

Oleg B in dlang.ru
только концептуальность
источник

N

NC in dlang.ru
Они все выражаются через произведение и сумму типов (интерфейсы через классы типов), это упрощение по сравнению с структурами, классами, интерфейсами.
источник

OB

Oleg B in dlang.ru
NC
Они все выражаются через произведение и сумму типов (интерфейсы через классы типов), это упрощение по сравнению с структурами, классами, интерфейсами.
я в курсе, но для меня это не выглядит как способ сделать что-то просто
источник

OB

Oleg B in dlang.ru
скорее вариация на тему процедурного программирования, только ещё с ограничениями
источник

N

NC in dlang.ru
Как раз то, что нужно, ограничения для управления сложностью.
источник

O

Oleg in dlang.ru
а что лучше: PEG или ANTLR ? (я ваще нуб)
источник

JF

Jango Fett in dlang.ru
Oleg
мне больше нра паскалевское описание типов:
(x, y, z: float)
вместо
(float x, float y, float z)
ясно что там структуры и т.п., но упрощенно - 1ый варик короче и яснее
Можно же float x,y,z
источник

JF

Jango Fett in dlang.ru
Правда честно говоря, тип в конце определения иметь всё-таки удобнее
источник

JF

Jango Fett in dlang.ru
Как в том же Хаскеле
источник

O

Oleg in dlang.ru
Jango Fett
Можно же float x,y,z
навена где такое и можно для параметров функций.. в D?
источник

O

Oleg in dlang.ru
надо сформировать список wishlist для нового самого лучшего ЯП ) спецов тут полно
источник

JF

Jango Fett in dlang.ru
Oleg
навена где такое и можно для параметров функций.. в D?
Аа, для аргументов функций, тогда да
источник

DH

Dark Hole in dlang.ru
Oleg
надо сформировать список wishlist для нового самого лучшего ЯП ) спецов тут полно
А смысол?
источник

JF

Jango Fett in dlang.ru
Можно на основе D набросать фронтенд для такого языка 😄
источник