Здравствуйте, alvas, Вы писали:
A>Здравствуйте, kochetkov.vladimir, Вы писали:
KV>>Странно, что никто об этом не написал. Денис выложил свою презентацию с spbalt.net
A>Страница пишет "Пожалуйста, будьте осторожны ..." A>Есть ли другая ссылка?
Здравствуйте, alvas, Вы писали:
A>Здравствуйте, kochetkov.vladimir, Вы писали:
KV>>Странно, что никто об этом не написал. Денис выложил свою презентацию с spbalt.net
A>1. 'Safe navigation' operator — классная штука. Давно появился?
Когда я сюда пришел уже был, около года точно значит A>2. Расскажите более подробно про Named blocks.
Ну грубо говоря метку можно объявлять только перед началом блока, и переходить на нее можно только изнутри самого блока
Re[3]: Презентация Дениса Рысцова "Nemerle is notable"
Здравствуйте, BogdanMart, Вы писали:
A>>2. Расскажите более подробно про Named blocks. BM>Ну грубо говоря метку можно объявлять только перед началом блока, и переходить на нее можно только изнутри самого блока
Здравствуйте, alvas, Вы писали:
A>>>2. Расскажите более подробно про Named blocks. BM>>Ну грубо говоря метку можно объявлять только перед началом блока, и переходить на нее можно только изнутри самого блока A>А можно более подробно? И зачем вообще нужно.
Здравствуйте, kochetkov.vladimir, Вы писали:
ВВ>>И какое все это имеет отношение к ФП? KV>Монады и АДТ — самое прямое.
Это далеко не очевидно. Ни то, ни другое не является имманентным признаком ФП.
KV>Под остальным подразумевалось видимо, что в ФП оно и появилось раньше и используется шире.
"Поддерживать фичи из ФП" и "поддерживать ФП" — это разные вещи. Если речь была о первом, то стоило так и говорить. Если о втором, то в первую очередь стоило показать, каким образом на языке можно программировать в ФП-стиле. А в презентации вообще о чем-то совсем другом речь.
Почему бы не попробовать действительно решить какую-нибудь задачу, хорошо ложащуюся на ФП? Например, написать прувер для какой-нибудь игрушечной теоремы.
Re[4]: Презентация Дениса Рысцова "Nemerle is notable"
Здравствуйте, Воронков Василий, Вы писали:
ВВ>Здравствуйте, kochetkov.vladimir, Вы писали:
ВВ>>>И какое все это имеет отношение к ФП? KV>>Монады и АДТ — самое прямое.
ВВ>Это далеко не очевидно. Ни то, ни другое не является имманентным признаком ФП.
Ок, что по твоему является признаками ФП?
KV>>Под остальным подразумевалось видимо, что в ФП оно и появилось раньше и используется шире.
ВВ>"Поддерживать фичи из ФП" и "поддерживать ФП" — это разные вещи.
Тот же вопрос, что и выше. Чего по-твоему не хватает в Nemerle, чтобы говорить о полноценной поддержки им функционального программирования?
ВВ>Почему бы не попробовать действительно решить какую-нибудь задачу, хорошо ложащуюся на ФП? Например, написать прувер для какой-нибудь игрушечной теоремы.
Здравствуйте, kochetkov.vladimir, Вы писали:
ВВ>>Это далеко не очевидно. Ни то, ни другое не является имманентным признаком ФП. KV>Ок, что по твоему является признаками ФП?
Первоклассные функции, механизмы частичного применения для комбинаторики, иммутабельность.
Proper tail call, tail recursion — также весьма желательно.
KV>>>Под остальным подразумевалось видимо, что в ФП оно и появилось раньше и используется шире. ВВ>>"Поддерживать фичи из ФП" и "поддерживать ФП" — это разные вещи. KV>Тот же вопрос, что и выше. Чего по-твоему не хватает в Nemerle, чтобы говорить о полноценной поддержки им функционального программирования?
Я говорил о том, чего не хватает в презентации, а не чего не хватает Немерле. Наиболее важные признаки ФП в Немерле есть, о proper tail call, впрочем, не знаю. Но ни один из них не упоминается и не демонстрируется.
ВВ>>Почему бы не попробовать действительно решить какую-нибудь задачу, хорошо ложащуюся на ФП? Например, написать прувер для какой-нибудь игрушечной теоремы. KV>Да есть и не игрушечный солвер, если что: https://bitbucket.org/michal.moskal/fx7/
Гм..
An SMT solver. Development staled, doesn't compile with the most recent Nemerle.
Речь все же о чем-то таком, что могло бы показать ФП коротко и наглядно.
Re: Презентация Дениса Рысцова "Nemerle is notable"