| OberonCore https://forum.oberoncore.ru/ |
|
| Typestate, иммутабельность и другие "фичи" языка Rust https://forum.oberoncore.ru/viewtopic.php?f=27&t=3103 |
Страница 1 из 1 |
| Автор: | Сергей Прохоренко [ Четверг, 23 Декабрь, 2010 18:48 ] |
| Заголовок сообщения: | Typestate, иммутабельность и другие "фичи" языка Rust |
http://www.opennet.ru/opennews/art.shtml?num=28837 http://www.rsdn.ru/forum/philosophy/3871535.flat.1.aspx http://en.wikipedia.org/wiki/Rust_(programming_language) Что народ на этом форуме думает о полезности "новых" (им лет по 40, но до сих пор не внедрены) "фич" языка Rust 
|
|
| Автор: | Geniepro [ Четверг, 23 Декабрь, 2010 19:01 ] |
| Заголовок сообщения: | Re: Typestate, иммутабельность и другие "фичи" языка Rust |
Как-то летом обсуждали, но не так уж и много насудили: viewtopic.php?f=26&t=2730&hilit=rust |
|
| Автор: | Илья Ермаков [ Четверг, 23 Декабрь, 2010 22:25 ] |
| Заголовок сообщения: | Re: Typestate, иммутабельность и другие "фичи" языка Rust |
Посмотрите мою статью в "Объектных системах": "Современное системное обеспечение для компонентного объектно-ориентированного программирования" viewtopic.php?p=56100#p56100 |
|
| Автор: | Сергей Прохоренко [ Пятница, 24 Декабрь, 2010 10:29 ] |
| Заголовок сообщения: | Re: Typestate, иммутабельность и другие "фичи" языка Rust |
Илья Ермаков писал(а): Посмотрите мою статью в "Объектных системах": "Современное системное обеспечение для компонентного объектно-ориентированного программирования" viewtopic.php?p=56100#p56100 Отличная статья. Я ее уже раньше прочел. Но про Rust в ней всего одно предложение про туманные перспективы. Меня же интересуют не перспективы Rust (у него действительно нет перспектив), а конкретные "фичи", которые в нем испытываются. Я видел Вашу точку зрения про избыточный контроль, но мне всё же кажется, что "слишком много" безопасности не бывавет. Если есть возможность применением простых синтаксических конструкций помочь компилятору отлавливать ошибки, то почему бы этим не воспользоваться? Это ведь дальнейшее развитие идеи строгой типизации, против чего, кажется, здесь никто не возражает. Кстати, изучение проекта Rust полезно разработчикам компиляторов хотя бы тем, что в нем систематизируются ошибки, которые компилятор должен отлавливать. Если компилятор будет это делать без подсказки программиста - и слава богу, но это, видимо, не всегда возможно. |
|
| Автор: | Alexey Veselovsky [ Пятница, 24 Декабрь, 2010 10:32 ] |
| Заголовок сообщения: | Re: Typestate, иммутабельность и другие "фичи" языка Rust |
Сергей Прохоренко писал(а): Кстати, изучение проекта Rust полезно разработчикам компиляторов хотя бы тем, что в нем систематизируются ошибки, которые компилятор должен отлавливать. Если компилятор будет это делать без подсказки программиста - и слава богу, но это, видимо, не всегда возможно. Но ведь это приведет к существенному усложнению компилятора! |
|
| Автор: | Сергей Прохоренко [ Пятница, 24 Декабрь, 2010 12:01 ] |
| Заголовок сообщения: | Re: Typestate, иммутабельность и другие "фичи" языка Rust |
Alexey Veselovsky писал(а): Сергей Прохоренко писал(а): Кстати, изучение проекта Rust полезно разработчикам компиляторов хотя бы тем, что в нем систематизируются ошибки, которые компилятор должен отлавливать. Если компилятор будет это делать без подсказки программиста - и слава богу, но это, видимо, не всегда возможно. Но ведь это приведет к существенному усложнению компилятора! За всё в этой жизни приходится платить. Особенно за хороший инструмент. Но это может сэкономить усилия прикладных программистов при отладке и повысить надежность их программ. Конечно, для программного плеера это неважно. Но для программ типа Skype (который только что гикнулся), встроенных систем и критических приложений это очень важно. А, может быть, и для программного плеера это важно. Вот у меня "полетел" гугловский браузер из-за какой-то одной единственной ошибки. Я перешел на Firefox, и обратно уже неохота возвращаться - делать лишние усилия. Так потребитель может отказаться от любого ненадежного продукта. Да и репутация стоит дорого. |
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|