История изменений

Но сам по себе F# это далеко не передовой край технологий. Это, на сколько я понимаю, скорее какой то весьма ограниченный и довольно тормозной кусок уровня хаскеля десятилетней (в лудшем случае) давности.

Идрис/Агда - это то что называется bleeding edge. Это действительно новый уровень для типизированных языков. Впервые в этих языках концепция зависимых типов вплотную подошла к практическому применения.

А чего там «другого» в этом фа диез? Там платформа другая, но чтоб её знать, совсем не фа диез надо учить. Я вообще сильно сомниваюсь что фа диез практически применим. Так же скала, которую часто сравнивают с F#, в отличие от фа диез хоть работает нормально в среднем.

Если идрис - хорошее воплощение очень интересной идеи, за которым, кстати, весьма вероятно, будущее, то фа диез - никому особо не нужный протухший кусок говна мамонта.

Т.е. учить фа диез это то же самое что учить идрис с т.з. практической применимости на _данный_ _момент_ (т.е. околонулевой эффект), но при этом обмазываться тухлятиной.

Отличный совет, чё.

Но сам по себе F# это далеко не передовой край технологий. Это, на сколько я понимаю, скорее какой то весьма ограниченный и довольно тормозной кусок уровня хаскеля десятилетней (в лудшем случае) давности.

Идрис/Агда - это то что называется bleeding edge. Это действительно новый уровень для типизированных языков. Впервые в этих языках концепция зависимых типов вплотную подошла к практическому применения.

А чего там «другого» в этом фа диез? Там платформа другая, но чтоб её знать, совсем не фа диез надо учить. Я вообще сильно сомниваюсь что фа диез практически применим. Скала в отличие от фа диез хоть работает нормально в среднем.

Если идрис - хорошее воплощение очень интересной идеи, за которым, кстати, весьма вероятно, будущее, то фа диез - никому особо не нужный протухший кусок говна мамонта.

Т.е. учить фа диез это то же самое что учить идрис с т.з. практической применимости на _данный_ _момент_ (т.е. околонулевой эффект), но при этом обмазываться тухлятиной.

Отличный совет, чё.

Но сам по себе F# это далеко не передовой край технологий. Это скорее какой то весьма ограниченный и довольно тормозной кусок уровня хаскеля десятилетней давности.

Идрис/Агда - это то что называется bleeding edge. Это действительно новый уровень для типизированных языков. Впервые в этих языках концепция зависимых типов вплотную подошла к практическому применения.

А чего там «другого» в этом фа диез? Там платформа другая, но чтоб её знать, совсем не фа диез надо учить. Я вообще сильно сомниваюсь что фа диез практически применим. Скала в отличие от фа диез хоть работает нормально в среднем.

Если идрис - хорошее воплощение очень интересной идеи, за которым, кстати, весьма вероятно, будущее, то фа диез - никому особо не нужный протухший кусок говна мамонта.

Т.е. учить фа диез это то же самое что учить идрис с т.з. практической применимости на _данный_ _момент_ (т.е. околонулевой эффект), но при этом обмазываться тухлятиной.

Отличный совет, чё.

Но сам по себе F# это далеко не передовой край технологий. Это скорее какой то весьма ограниченный и довольно тормозной кусок уровня хаскеля десятилетней давности.

Идрис/Агда - это то что называется bleeding edge. Это действительно новый уровень для типизированных языков. Впервые в этих языках концепция зависимых типов вплотную подошла к практическому применения.

А чего там «другого» в этом фа диез? Там платформа другая, но чтоб её знать, совсем не фа диез надо учить. Я вообще сильно сомниваюсь что фа диез практически применим. Скала в отличие от фа диез хоть работает нормально в среднем.

Т.е. учить фа диез это то же самое что учить идрис с т.з. практической применимости (т.е. околонулевой эффект), но при этом обмазываться говном мамонта.

Отличный совет, чё.