OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Среда, 20 Ноябрь, 2019 02:06

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 9 ] 
Автор Сообщение
 Заголовок сообщения: Хацкель ньюс...
СообщениеДобавлено: Вторник, 01 Декабрь, 2009 16:04 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Некоторые новости ФП-индустрии...
__________________________________________________________________

Анонсирован Haskell 2010:
Announcing Haskell 2010
Зачем они убрали n+k паттерны -- я так и не понял. Ну видно, захотелось упростить язык и, соответственно, трансляторы. А было прикольно так:
Код:
factorial   0   = 1
factorial (n+1) = (n+1) * factorial n
(да, не самый удачный пример этого паттерна, ну да ладно? идея ясна)
__________________________________________________________________

Haskell, биоинформатика и High Perfomance Computing

http://www.genomeweb.com/blog/more-bio- ... ights-sc09

In the spirit of teaching an almost 20 year-old dog new tricks, Jacqueline Addesa, a student from Virgina Tech, presented her argument for using the open source Haskell, a language usually reserved for big commercial applications, in an HPC setting. Addesa compared Haskell to C on multiple sequence alignment jobs, and found that the C code quickly became about 37 times longer than the same implementation using Haskell, with Haskell running about 2.68 times faster on hefty genetic sequence data sets.

On the Efficacy of Haskell for High-Performance Computational Biology
Author: Jacqueline R. Addesa (Virginia Tech)

Posters Session Tuesday, 05:15PM - 07:00PM
Room Oregon Ballroom Lobby

Abstract:
While Haskell is an advanced functional programming language that is increasingly being used for commercial applications, e.g., web services, it is rarely considered for high-performance computing despite its ability to express algorithms succinctly. As such, we compare the computational and expressive power of Haskell to a more traditional imperative language, namely C, in the context of multiple sequence alignment, an NP-hard problem in computational biology. Although the C implementation mirrored Haskell’s, the C implementation did not account for problems with the run-time stack, such as stack overflow. Once addressed, the C code ballooned to over 1000 lines of code, more than 37 times longer than the Haskell implementation. Not only is the Haskell implementation more succinct, but also its execution time on large genetic sequences was 2.68 times better than C, as there is less bookkeeping overhead in the Haskell code.
_________________________________

PICBIT -- транслятор Scheme для микроконтроллеров семейства PIC
http://www.iro.umontreal.ca/~feeley/papers/sw03.pdf
Непростая задача -- сделать такой транслятор для PIC'ов, там ведь такие слабые ресурсы, у этих чипов...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Copilot: a DSL for Monitoring Embedded Systems
СообщениеДобавлено: Четверг, 23 Сентябрь, 2010 14:28 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Галуасцы разработали (на деньги NASA, вроде) DSL Copilot для Хаскелла, предназначенный для программирования встраиваемых устройств, типа всяких беспилотников. Текст с Copilot переводится на Си, который, соответственно, затем можно скомпилировать имеющимся в компилятором Си.

http://leepike.github.com/Copilot/
http://www.galois.com/blog/2010/09/22/c ... d-systems/
http://hackage.haskell.org/package/copilot


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Хацкель ньюс...
СообщениеДобавлено: Четверг, 28 Октябрь, 2010 00:18 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Кстати, Habit не щупали?
На rsdn мне никто так и не ответил.. :-(


Последний раз редактировалось Alexey Veselovsky Четверг, 28 Октябрь, 2010 15:28, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Хацкель ньюс...
СообщениеДобавлено: Четверг, 28 Октябрь, 2010 09:18 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Alexey Veselovsky писал(а):
Кстати, Habbit не щупали?
На rsdn мне никто так и не ответил.. :-(

Честно говоря, я даже не знаю, что это такое. Диалект Хаскелла для сисетмщиков? там вроде пока ещё и щупать-то нечего...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Хацкель ньюс...
СообщениеДобавлено: Четверг, 28 Октябрь, 2010 15:32 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Geniepro писал(а):
Alexey Veselovsky писал(а):
Кстати, Habbit не щупали?
На rsdn мне никто так и не ответил.. :-(

Честно говоря, я даже не знаю, что это такое. Диалект Хаскелла для сисетмщиков? там вроде пока ещё и щупать-то нечего...

Ну примерно в той же степени диалект Хаскеля, как и Оберон диалект Ады :-)
Да, оно для системного программирования. Оно не ленивое. В общем вот: http://rsdn.ru/forum/decl/3937017.flat.aspx

Щупать можно draft спеки языка. Я вот пощупал и у меня вылезли вопросы которые я там и озвучил. Увы, никто не ответил. Надо бы аффтаров потролл... эмм.. поспрашивать :-)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Хацкель ньюс...
СообщениеДобавлено: Среда, 10 Ноябрь, 2010 09:29 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Впечатления о прошедшем в Бельгии BelHac (Belgium Haskell Hackathon) от ЖЖ-юзера kashnikov:

BelHac (Belgium Haskell Hackathon): Как это было


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Хацкель ньюс...
СообщениеДобавлено: Четверг, 18 Ноябрь, 2010 09:12 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Вышел транслятор GHC 7.0.1

Release notes for version 7.0.1
http://new-www.haskell.org/ghc/download_ghc_7_0_1

Из новшеств, в частности, кодогенератор для LLVM, а также поддержка нового стандарта Хаскелла -- Haskell 2010.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Хацкель ньюс...
СообщениеДобавлено: Среда, 01 Декабрь, 2010 15:45 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
На основе рантайма GHC разработана виртуальная хаскель-машина HaLVM, позволяющая запускать программы на хаскелле из гипервизора Xen, без использования каких-либо операционных систем. Это позволяет программе на Хаскелле работать быстрее и требовать меньше памяти для работы (так как память не тратится на ОС).

Недавно аналогичную виртуальную машину сделали для языка OCaml: Mirage

Xen -- гипервизор, позволяющий запускать несколько операционных систем одновременно на одном физическом компьютере. Тем, что Xen запускается на голом железе, он отличается от виртуальных машин типа VirtualPC или VmWare, которые позволяют запускать, скажем, линукс поверх виндовса.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Хацкель ньюс...
СообщениеДобавлено: Четверг, 10 Февраль, 2011 11:14 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Выпущена новая версия компилятора Clean 2.3
Главное новвоведение -- фронтэнд для Хаскелла.

Clean и Haskell -- вообще очень похожие языки, главное их различие -- в принципе поддержки побочных эффектов. Если в Хаскелле для этой цели используются монады, то в Clean -- уникальные типы (т.е. типы, чьи значения гарантированно уникальны).
Уникальные типы и монады могут быть выражены друг через друга, то есть эквивалентны.

По тестам самих клиновцев, хаскельные программ, скомпилированный их компилятором, работают немного быстрее, чем скомпилированные GHC.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2019, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB