|
Автор |
Сообщение |
Konstantin
Завсегдатай
Зарегистрирован: 01.05.2006 Сообщения: 615
|
|
|
|
Вот предлагают совместить полезное с приятным и почитать летом на студенческой турбазе в рамках факультативной летней школы декларативное программирование. Наиболее активные слушатели получают "автомат" в счет обязательного курса осеннего семестра. Понятно, что факультативно будут ходить те, кто собрался кодить профессионально. Вот думаю, что практически больше пригодится им в будущем - Haskel или Erlang? |
|
Вернуться к началу |
|
|
den
Старожил
Зарегистрирован: 31.01.2006 Сообщения: 13870 Откуда: Кировоград, Украина
|
|
|
|
Не знаю, если честно. Оба лисп-образные, но второй больше пролог. Ни от того, ни от другого я в восторге не был, когда приходилось изучать. Выучили и прошли мимо. Можно дать вводный курс, чтобы народ понимал, что это такое. А с другой стороны нужно ли тратить на эти языки время.... Разве что дать обязательный вводный курс, а факультативно изучать какой-то из языков (в свое время читал что хаскель быстрее) - тогда на курсы придут те, кто действительно заинтересовался. |
|
Вернуться к началу |
dhsilabs@jabber.ru |
|
|
Шульц
Завсегдатай
Зарегистрирован: 10.02.2009 Сообщения: 583 Откуда: Russland
|
|
|
|
А что за языки такие, для чего они? _________________ Life is short - write better code! |
|
Вернуться к началу |
|
|
den
Старожил
Зарегистрирован: 31.01.2006 Сообщения: 13870 Откуда: Кировоград, Украина
|
|
|
|
Шульц,
Мозаичный оконный менеджер Xmonad для X Window System целиком написан на Хаскеле. Darcs — распределённая система управления версиями с рядом уникальных возможностей — написана на Хаскеле. Первая реализация компилятора и интерпретатора языка Perl 6, Pugs, была написана на Хаскеле за несколько месяцев. Компилятор GHC часто выступает экспериментальной площадкой для проверки новых возможностей функционального программирования и оптимизации.
[править]Коммерческие приложения
Хаскель всё чаще используется в коммерческой среде[20]. Этому способствует и принятая в сообществе традиция выпускать библиотеки под либеральными лицензиями (более 70 % свободно доступных библиотек распространяются на условиях лицензий BSD, MIT или являются общественным достоянием).
Вот примеры некоторых коммерческих приложений, написанных на Хаскеле: Bluespec SystemVerilog, язык проектирования и верификации полупроводниковых схем, является расширением Хаскеля[21]. Cryptol, коммерческий язык для разработки и проверки криптографических алгоритмов, реализован на Хаскеле. Примечательно, что первое формально верифицированное микроядро seL4 было тоже написано на Хаскеле.
Активно применяется Хаскель в области финансового программирования, анализа рисков, в системах поддержки решений. Хаскель применяют разработчики генератора городских ландшафтов для игр и моделирования Gamr7[22]. Есть примеры успешного применения Хаскеля для разработки частных информационных систем в коммерческих организациях, как в мире, так и в странах СНГ[23].
[править]Приложения с открытым исходным кодом
Также на Хаскеле написано много приложений c открытым исходным кодом. Большинство из них доступны в архиве Hackage. Вот некоторые из них:
[править]Базы данных
Более полный список см. в Hackage:Databases
haskelldb — строго типизированный интерфейс доступа к SQL-базам данных
HDBC — универсальный интерфейс доступа к реляционным базам данных (поддерживаются SQLite, MySQL, PostgreSQL, ODBC)
Takusen — библиотека доступа к базам данных, использующая интерфейс левой свёртки
есть библиотеки для работы с BerkeleyDB, CouchDB, MongoDB, Redis, TokyoCabinet/TokyoTyrant, SimpleDB, SQLite
[править]Графика
Более полный список см. в Hackage:Graphics.
Blobs — редактор диаграмм
Diagrams — библиотека для программирования схем и диаграмм
FieldTrip — библиотека для функционального описания 3D-объектов
Glome — один из множества трассировщиков лучей на Хаскеле
GLUT и OpenGL — интерфейсы для использования GLUT и OpenGL из Хаскеля
GPipe — функциональный интерфейс для программирования GPU
Grapefruit — библиотека для функционального реактивного программирования графики и интерфейсов
Haven — библиотека отрисовки масштабируемой векторной графики
HaskellCharts — библиотека для отрисовки двумерных графиков
SDL — интерфейс для использования libSDL из Хаскеля
Yampa — библиотека для функционального реактивного программирования с помощью стрелок
[править]Графические интерфейсы
Более полный список см. в Hackage:GUI.
Gtk2Hs — библиотека для создания графических интерфейсов на основе GTK+
Grapefruit и wxFruit — библиотеки декларативного программирования интерфейсов (на основе реактивного программирования)
qtHaskell — библиотека для создания графических интерфейсов на основе Qt
wxHaskell — библиотека для создания графических интерфейсов на основе wxWidgets
[править]Игры
Более полный список см. в Hackage:Games.
bloxorz — трёхмерная логическая игра
Frag — трёхмерный шутер от первого лица
monadius — двумерный скроллер
Raincat — рисованная игра-головоломка |
|
Вернуться к началу |
dhsilabs@jabber.ru |
|
|
Konstantin
Завсегдатай
Зарегистрирован: 01.05.2006 Сообщения: 615
|
|
|
|
Спасибо за отклики. У моего знакомого завкафедрой стоит в учебном плане все равно функциональное программирование на осень. Пока они материально не заинтересовали читать осенью, а в летней школе на турбазе дал согласие, потому что рядом буду отдыхать в это же время. Осенью вроде собираются давать Scheme плюс то, что выберу я летом. Ну да ладно - мне как-то Erlang ближе к жизни показался. Буду давать его. |
|
Вернуться к началу |
|
|
|
|
 Главная страница сайта
|
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете голосовать в опросах
|
|