ΑZ
концептуально-то что меняется?
Size: a a a
2021 May 31
gо
Да, тебе нужно держать в голове два языка
gо
Idris и калечный Idris-но-на-уровне-типов
ΑZ
ещё раз: концептуально в идрисе все в порядке
gо
И каждая функция у тебя либо совместимая с Idris-на-уровне-типов, либо нет
ΑZ
не работают отдельные фичи
gо
И нет хорошего способа это узнать
gо
Ну да, типа ифов
ΑZ
если ифы заработают идрис внезапно не станет другим япом
ΑZ
будет тот же идрис
ΑZ
просто чуть более удобный
ΑZ
а вот плюсы чтобы сделать удобными пришлось э тот новый яп накрутить
ΑZ
с гошкой та же хуйня будет
ΑZ
гошка с генериками уже во многом другой язык
ΑZ
а дальше будет хуже
[
Меня больше заботит, что те миллионы человекочасов, которые в хаскеле тратили на создание сексуальной многопоточки, в идрисе тратят на создание сексуальных типчиков
[
Хотя, наверное, и за это возьмутся
С
И когда они сделают типчики, начнут делать сексуальную многопоточку над ними
[
Ну, миллион человекочасов уже потрачен, настанет время второго
r
Доказанное отсутствие race conditions, разве плохо? Если получится что-то юзабельное хотя бы для 70% программистов, конечно.