p
Ну вот, стало быть остаётся build.bat
Ну у меня сейчас так, да
Size: a a a
2020 April 05
С
А для чего ещё его можно щупать?
Кто знает. Может быть там, где ты работаешь, решили сделать нечто высоконадёжное и моделируют это на идрисе.
p
Хорошая шутка
С
Коль ты с ним разбираешься, скажи: из него же можно получить обычные бинарник? И как быстро он работает?
G
Его нет
Есть бабушкин редактор и бабушкина система сборки
p
1. Я с ним разбираюсь на уровне "знаю как определить функцию", только учу. Лучше разбирается @hirrolot
2. Да, из него можно получить бинарник.
3. Не замерял скорость
2. Да, из него можно получить бинарник.
3. Не замерял скорость
G
А, ещё есть бабушкин REPL
G
Ну это уже что-то
(P
А, ещё есть бабушкин REPL
Главное что не антивирус бабушкина
p
Насколько я помню Идрис компилируется в асм, так что скорость должна быть приличная
G
Ещё есть бабушкин генератор документации
p
Ещё есть бабушкин генератор документации
Когда будем писать дедушкин?
p
Есть бабушкин редактор и бабушкина система сборки
А для второго?
G
Когда будем писать дедушкин?
Нууу хуй знает
С
Ещё есть бабушкин генератор документации
Да это всё мелочи, на самом деле. Я когда-то писал вполне себе продакшн-код на питоне в редакторе F4 в Far manager.
G
А для второго?
Что для второго?
p
Что для второго?
Есть что-то? Репл есть?
С
Вот на яве так просто не получается
G
Да это всё мелочи, на самом деле. Я когда-то писал вполне себе продакшн-код на питоне в редакторе F4 в Far manager.
Проблема в том, что это питон, а это - Идрис
G
Совсем разные языки с разными нуждами к средам разработки