| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Другие языки > Разыскивается язык, удовлетворяющий требованиям |
| Автор: Mayk 6.12.2008, 08:41 |
| В личных исследовательских целях разыскивается язык удовлетворяющий следуюзим требованиям: 1) наличие функций высшего порядка [читать - ф-циональшина нужна] 2) сопоставление с образцом [без pattern matching'а скучно, да] 3) поддержка императивщины [/me помнит что на некоторых алгоритмых чистая ф-циональшина проигрывает императивщины из-за отсутсвие разрушаемых структур] 4) поддержка обобщеннго программирования Остальное не так критично. Но хотелось бы чтобы работало побыстрее ruby. В lisp'е [а так же питоне и smalltalk'е] нет паттерн-матчинга. Во-всяком случае из коробки. Может для lisp'а есть какая либа которая её предоставляет. В ocaml'е с обобщенным программированием туго [не, ну о каком обобщенном может идти речь если даже для сложения int'ов и float'ов используются разные операторы?]. В какую сторону all посоветует смотреть? Я пока гуглю клонов лиспа, в которых pattern matching есть из коробки. |
| Автор: Void 6.12.2008, 14:25 |
| На ум приходят только Scala, F#, Nemerle. Без JVM/.NET сколько-нибудь известного языка под эти требования не припомню. |
| Автор: Mayk 11.12.2008, 20:21 | ||
за Scala спасибо, выглядит хорошей штукой.
когда я смотрел её в последний раз, мне запомнилось что если в compile time время проводить расчеты и что-то пойдет не так, то вываливалось очень страшная и пугающая internal error. так-то оно наверное и надо, но все равно пугает. |
| Автор: kemiisto 16.12.2008, 02:13 |
Кроме уже упомянутого F# можно ещё посмотреть http://www.mozart-oz.org/. Первые три пункта точно имеются, да и 4 должен быть. Ибо, если верить http://en.wikipedia.org/wiki/Multiparadigm_programming_language, это самый навороченный язык - восьмипарадигменный!   |
