D
Не получается написать быстрый код на brainfuck :(
Size: a a a
2020 May 11
G
> Idris
D
"Все языки быстрые, если ты делаешь все правильно" - это просто демагогия. Производительность напрямую зависит от свойств языка. Свойства также влияют на способность компилятора произвести те или иные оптимизации.
G
"Все языки быстрые, если ты делаешь все правильно" - это просто демагогия. Производительность напрямую зависит от свойств языка. Свойства также влияют на способность компилятора произвести те или иные оптимизации.
ну мы тут любим демагогить
r
Главное не забывать, что иногда "правильно" - писать модули на другом языке.
ЕХ
Главное не забыть в язык добавить FFI )
r
Меч Правды*
*) Количество правды ограничено размером одной панели комикса
*) Количество правды ограничено размером одной панели комикса
MD
Как перестать хейтить Microsoft?
G
Как перестать хейтить Microsoft?
никак, это в душе
p
> Idris
Идрис шустрый как твоя мама (не хотел обидеть)
p
Он же компилируется в сишку а потом в машинный код
p
То есть по скорости он наверное сравнится с хаскелем
G
тогда почему он модуль вычисляет с индуктивной раскладкой Nat
p
А хаскель шустрый
JC
Как перестать хейтить Microsoft?
Узнать, что у них уже не Балмер
p
Как перестать хейтить Microsoft?
А за что
G
А за что
Мб за анальный зонд над головой
G
Но то же самое можно сказать про почти все крупные корпорации
G
Ну за винду, да, но можно же на ней не работать если бесит
G
У микрософт ещё F* есть и проводили эксперименты над алгебраическими системами эффектов