Rust и полиморфизм высших порядков

https://mail.mozilla.org/pipermail/rust-dev/2014-April/009387.html
Да, кстати, вышел rust 0.10. Кто-нибудь, запилите тему.

Отлично!

Тоесть я зря ждал апреля и это нихрена не релиз :(

Ну, возможно они всё-таки перестанут ломать API так часто.

Наоборот, вроде как, весь год собираются делать крупные изменения везде, где надо.

https://news.ycombinator.com/item?id=7525844

Когда уже 1.0 будет?

И советуют начинать использовать язык поскорее, пока нет никакой обратной совместимости. Прототипы там всякие попробовать написать. А ты выпустят-таки версию 1.0, народ повалит толпами и тогда выяснится еще куча косяков там и тут, а их уже не так-то просто поправить будет, как сейчас.

Сложно использовать язык, в котором API ломают каждую неделю. Стоило бы поосторожнее с этим.
А то только одни language enthusiasts и остаются.

Сложно использовать язык, в котором API ломают каждую неделю. Стоило бы поосторожнее с этим.

Там не каждую неделю, а каждый второй комит в mozilla/rust ломает обратную совместимость. Почему именно ты считаешь, что это плохо?

со временем, каждый прогрессивный язык становится хаскеллем

[–] kibwen 7 очков 28 дней назад
It is my greatest nightmare that anyone start thinking that Rust is «C meets Haskell». Our ultimate all-encompassing goal here is to make low-level programming safer, not to make high-level programming more bracey. Maximal expressiveness is not a goal, and maximal concision is likewise not a goal.

http://www.reddit.com/r/rust/comments/1zpzql/curryingpartial_function_applica...

Можете излагать свою мысль кратко и понятно

Да, а ещё The Rust Programming Language does not have monads (заголовок реддита). Но мы же все понимаем, что нельзя просто взять и избежать неизбежного.

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

Имхо, слом совместимости нужно публично запланировать. То есть в момент релиза 1.0 объявить, что:
1. Через годик-другой будет выпущен 2.0, с несовместимыми исправлениями изъянов.
2. Не смотря на это, ветка 1.0 будет поддерживаться и ограниченно развиваться на протяжении 5 лет.

Вот тогда народу станет не страшно писать свои прототипы: если в 1.0 конкретного пользователя всё устраивает, то он волен остаться на 1.0, он не потеряет вложенного труда.

Буду краток: python 3.

Да, именно так. Проблема питон3 в том, что он никаких заметных улучшений относительно питон2 своим пользователям не предлагает.

Нинужно. high-kind полиморфизм ест,ь уже хз сколько но никто пока не придумал ни одного примера использования.

Но ведь в Rust _нет_ higher-kinded types.

Насколько я понимаю, они так и хотят. Разве что я не уверен в «ограниченно развиваться на протяжении 5 лет».

Другой вопрос, что они хотят выпустить 1.0 как можно позже, что бы она была более зрелой. Все таки делать изменения в версии версии 2.0 намного дороже, чем до версии 1.0, логично же.

делать изменения в версии версии 2.0 намного дороже, чем до версии 1.0

Почему? Если не стоит задачи обеспечить совместимость.

Если не стоит задачи обеспечить совместимость.

Если она не стоит, получается Python 3, так что в Rust она очень даже стоит.

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

Ну как с питоном3 - исправления небольших косяков не стоят таких больших обратно несовместимых изменений.

Python3 получается когда «the most drastic improvement is the better Unicode support».

Чушь.

Спасибо за развернутый, аргументированный ответ. Ты меня переубедил.

Ты меня переубедил.

У меня не было такого намерения, но тоже неплохо.

Так давно же хотели добавить HKT, к чему эта тема?