tag:blogger.com,1999:blog-654279083390275842.post4902747120182288881..comments2024-03-19T12:22:43.654+03:00Comments on Размышлизмы eao197: [prog.flame] Пару слов к получению командой разработчиков Scala гранта в размере 2.3M Euroseao197http://www.blogger.com/profile/17283739752119445290noreply@blogger.comBlogger10125tag:blogger.com,1999:blog-654279083390275842.post-14568195369834174902011-01-13T20:03:52.176+02:002011-01-13T20:03:52.176+02:00про MPS -- год назад я пытался
там документация н...про MPS -- год назад я пытался<br /><br />там документация несъедобная<br /><br />ну и из подхода:<br /><br />1. расширяемость синтаксиса в каждой точке -- это излишне<br /><br />2. большой дефект -- это то, что текстового представления нет, если оно есть -- то нераспарсиваемо, и внутренний хмл-формат недокументирован<br /><br />3. после несъедобной документации по основам даже нет надежды осилить то, что у них по системе типов<br /><br />хотя если кто напишет вменяемую доку -- прочтуимяhttps://www.blogger.com/profile/17115793398497396330noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-9099997654897256202011-01-13T19:58:45.129+02:002011-01-13T19:58:45.129+02:00небольшой buffer flush:
1. скаловский Type Constr...небольшой buffer flush:<br /><br />1. скаловский Type Constructor Polymorphism емнип полная аналогия template template parameters<br /><br />2. насчет всех 4-х статей “Почему я не хочу быть начальником?” -- очень интересно и размышлительно, но там я не чувствую у себя достаточно опыта и грамотности что-либо сказать, хотя некоторые соображения и возражения есть<br /><br />3. теперь по теме staged compilation: я давно бегло смотрел одну из пдф-ок одерского на эту тему, напомнило плюсовые expression templates -- разница только в том, что покороче из-за скаловского pattern match-инга<br /><br />чей-то мне кажется нужно выделить для это специальную функциональность компилятора, а не насиловать систему типов -- если цель оптимизация, то зачастую надо сравнивать несколько (иногда много) вариантов, а не генерить нечто однозначное, как в случае шаблонов/дженериков<br /><br />нучжно что-то типа управляемой partial evaluation или даже supercompilationимяhttps://www.blogger.com/profile/17115793398497396330noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-25394673457166389342011-01-11T14:36:32.300+02:002011-01-11T14:36:32.300+02:00@jazzcat:
Этот MPS, похоже, никто, кроме некоторы...@jazzcat:<br /><br />Этот MPS, похоже, никто, кроме некоторых JetBrain-овцев толком и не трогал.eao197https://www.blogger.com/profile/17283739752119445290noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-3820239964501182112011-01-11T14:01:21.975+02:002011-01-11T14:01:21.975+02:00А кто-нибудь Jetbrains MPS трогал?А кто-нибудь <a href="http://www.jetbrains.com/mps/" rel="nofollow">Jetbrains MPS</a> трогал?Arseni Buinitskyhttps://www.blogger.com/profile/15057978284618226708noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-31417566563632202572011-01-11T13:51:07.646+02:002011-01-11T13:51:07.646+02:00@Qrilka:
AFAIK, Fortress так и остался на уровне ...@Qrilka:<br /><br />AFAIK, Fortress так и остался на уровне прототипа.<br /><br />И в данной теме Fortress (равно как и Chapel, и X10) стоит упомянуть еще по одной причине. Очень серьезные силы были положены на специализированные языки для вычислений. Поэтому я сильно сомневаюсь, что DSL-и в Scala смогут с ними соревноваться по удобству решения конкретных задач. Да и по эффективности.eao197https://www.blogger.com/profile/17283739752119445290noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-38272074562269840022011-01-11T13:47:21.481+02:002011-01-11T13:47:21.481+02:00@Myroslav Rubanets:
спасибо за наводку.@Myroslav Rubanets:<br /><br />спасибо за наводку.eao197https://www.blogger.com/profile/17283739752119445290noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-18560098731970213192011-01-11T13:46:57.835+02:002011-01-11T13:46:57.835+02:00@Alex: да, языки вроде Lisp, Nemerle, имхо, изнача...@Alex: да, языки вроде Lisp, Nemerle, имхо, изначально более подходят для разработки DSL-лей, чем Scala.<br /><br />Да и другие языки (вроде OCaml, Haskell и даже динамически типизированный Ruby) могут оказаться не хуже Scala.eao197https://www.blogger.com/profile/17283739752119445290noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-59804775400164265412011-01-11T13:10:00.878+02:002011-01-11T13:10:00.878+02:00По поводу JVM и выч. задач стоит вспомнить Fortres...По поводу JVM и выч. задач стоит вспомнить Fortress, правда какое отношение он теперь к Oracle имеет - непонятно...Qrilkahttps://www.blogger.com/profile/14856370078919907461noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-84073088370395720132011-01-11T13:04:44.402+02:002011-01-11T13:04:44.402+02:00staged достаточно прочно ассоциируется с Oleg Kise...staged достаточно прочно ассоциируется с Oleg Kiselyov и метапрограммированием. Это просто хинт если есть желание гуглить исследования и освоения :)Miroslavhttps://www.blogger.com/profile/08682508835432008058noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-4690043055392901222011-01-11T12:56:29.380+02:002011-01-11T12:56:29.380+02:00Немного напомнило - про мега-мета-язык.
http://co...Немного напомнило - про мега-мета-язык.<br /><br />http://code.google.com/p/nemerle-2/wiki/Nemerle2Alexhttps://www.blogger.com/profile/06712081717722214061noreply@blogger.com