MB
Окей, ну это тупо от семантики языка зависит
Size: a a a
2020 July 15
MB
В джсе я вот могу вызвать функцию, если она в файле у меня ниже определена
MB
А топосорт - это только одна из проблем
Окей, проблему с топосортом я понял
𝛈µ
И получить бесконечный цикл
𝛈µ
Тоже можешь
MB
Мы о циклических ссылках?
MB
Ну обычно диай этого не предотвращает)
𝛈µ
Да мало ли, что он там "обычно" делает
𝛈µ
У меня необычный диай, лучший в мире
MB
На гитхаб выложил?
𝛈µ
Выложил
MB
Дай ссылку)
MB
Спасиб, пороюсь там у вас)
DB
А почему абсолютно бесполезная? Я не влезал, но мне казалось, что поинтереснее, чем хаскель позволяет штуки делать
Сложность работы с ней такова, что даже самые простые для других языков вещи на идрисе сделать или крайне сложно, или компилируется потом сутками
Oℕ
Dmitry Bushenko
Сложность работы с ней такова, что даже самые простые для других языков вещи на идрисе сделать или крайне сложно, или компилируется потом сутками
Это же неправда
Oℕ
Вы много на идрис писали?
Oℕ
У идрис нет проблем как у языка особенных. Есть проблемы инфраструктурные. Фантастическая нехватка библиотек, пакетных менеджеров, поддержек всяких редакторов