FO
Ну, просто слишком жестоко получается: "что, сынок, решил символьный калькулятор для производных сделать? А почитай-ка для начала учебники от Hartmut Ehrig, разберись в DPO и SPO...". %)
Я забил и так написал :-)
Size: a a a
2020 February 27
FO
Хреновый, но работает :)
PS
То есть, через отношение порядка.
А без? Это вообще возможно?
А без? Это вообще возможно?
Смотря что требуется. Проблему останова даже для систем переписывания никто не отменял.
EP
но часть оптимизаций останется закрытой?
BD
но часть оптимизаций останется закрытой?
хз, про это не написано
BD
скорее всего да
EP
да я видел, просто как тема для рассуждения
EP
лицензия позволяет
KR
Насколько я понимаю, Oracle и IBM уже давно не могут разрабатывать frontend для C++. Но поскольку Power ещё не сдох, как Sparc, служащие межделмаша паразитируют на Шланге. А backend будет от xlc.
Собственно, xlc даже последний стандарт С не поддерживает.
Собственно, xlc даже последний стандарт С не поддерживает.
KR
Кстати, у IBM свои расширения Фортрана, несовместимые с GNU (про их взаимоотношения с flang и Юлией я не знаю)
C
MLIR: A Compiler Infrastructure for the End of Moore's Law
https://arxiv.org/abs/2002.11054
https://arxiv.org/abs/2002.11054
AT
В C# vs F# vs OCaml есть :?
- tagged union
- возможность использовать объекты без классов
- автоматический вывод типов для переменных
- приоритет на программирование на иммутабельных данных
- компиляция в standalone без необходимости тащить на клиента пару гигов рантайма
lex/yacc из коробки в базовой поставке
Я не в смысле споров, просто интересуюсь стоит ли связываться с тем же шарпом. Ни один не видел вживую, только камл чутьчуть потыркал.
- tagged union
- возможность использовать объекты без классов
- автоматический вывод типов для переменных
- приоритет на программирование на иммутабельных данных
- компиляция в standalone без необходимости тащить на клиента пару гигов рантайма
lex/yacc из коробки в базовой поставке
Я не в смысле споров, просто интересуюсь стоит ли связываться с тем же шарпом. Ни один не видел вживую, только камл чутьчуть потыркал.
AT
Про C#
Хз, можно ли dynamic назвать tagged union..
Вывод типов есть - var
Иммутабельность слабая
В .net core вроде есть AOT компиляция, но с ней что-то не так (подробностей не знаю)
Хз, можно ли dynamic назвать tagged union..
Вывод типов есть - var
Иммутабельность слабая
В .net core вроде есть AOT компиляция, но с ней что-то не так (подробностей не знаю)
AT
Нет, это OCaml--. Нет модулей и функторов, нет открытых юнионов, нет структурной подтипизации объектов, нет экзистенциальных типов и многих других "мелочей". Макросов тоже нет.
RA
Нет, это OCaml--. Нет модулей и функторов, нет открытых юнионов, нет структурной подтипизации объектов, нет экзистенциальных типов и многих других "мелочей". Макросов тоже нет.
И даже GIL нету 😂
AT
И даже GIL нету 😂
При отсутствии всего остального отсутствие GIL меня уже не радует. Я бы в любом случае вряд-ли стал писать высокопроизводительный конкурентный код на F#.
При этом у GHC GIL тоже нет, а продвинутые фичи очень даже есть.
Так что F# меня сильно разочаровал - пока сам на нём не писал, ожидал большего.
С другой стороны, если писать с нуля на .NET, я бы взял F# в любом случае, уже хотя бы потому что синтаксис намного лаконичнее и чище.
При этом у GHC GIL тоже нет, а продвинутые фичи очень даже есть.
Так что F# меня сильно разочаровал - пока сам на нём не писал, ожидал большего.
С другой стороны, если писать с нуля на .NET, я бы взял F# в любом случае, уже хотя бы потому что синтаксис намного лаконичнее и чище.
А
Про C#
Хз, можно ли dynamic назвать tagged union..
Вывод типов есть - var
Иммутабельность слабая
В .net core вроде есть AOT компиляция, но с ней что-то не так (подробностей не знаю)
Хз, можно ли dynamic назвать tagged union..
Вывод типов есть - var
Иммутабельность слабая
В .net core вроде есть AOT компиляция, но с ней что-то не так (подробностей не знаю)
Dynamic вообще не tagged union
Т8
@cblp_su а в этом про раст?
Т8
раст пытались сделать более близким к императивному Си ближе к версии 1.0, так что не удивительно. В итоге он какой-то странный получился - посередине