gо
Из предыдущих ML-подобных, в основном Standard ML
Size: a a a
2021 May 31
[
Считаю, что лучше всего идеи фп доносит хаскель
[
Потому что он наиболее чистый из широко используемых
ΑZ
что мешает на языке с завтипами писать как в го?
ΑZ
и в одном месте заюзать завтипы для контроля например "перед делением удостоверились что знаменатель не ноль"
ΑZ
получится строго лучше го :)
gо
То, что все существующие языки с завтипами это головоломка, а не продовый инструмент
gо
«Эргономичные завтипы» это совсем другая фича
ΑZ
чем неэргономичен идрис?
gо
Очень ограниченным исполнением на уровне типов, например
П
NonZero<T>?
ΑZ
любые тотальные ф унки это ограниченное исполнение? кек
gо
Не любые, сто раз демонстрировал
gо
if a == "foo" { Int } else { String } уже невыразимоΑZ
Как скажешь
gо
Ты на уровень типов это не вынес
gо
Напиши
foo : (x : String) -> (typeFoo x)ΑZ
ну это понятно что не работает
ΑZ
непонятно с чего это по-твоему присущее завтипам проблема а не одна из миллиард ненаписанных фичей
gо
— Исполнение на уровне типов ограничено
— Нет, можно исполнить любую тотальную функцию
— Нет, вот тотальная функция, которую исполнить нельзя
— Можно
— Нет, нельзя, вот сниппет
— А, ну было понятно, что не работает
— Нет, можно исполнить любую тотальную функцию
— Нет, вот тотальная функция, которую исполнить нельзя
— Можно
— Нет, нельзя, вот сниппет
— А, ну было понятно, что не работает