Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Языки программирования > Haskell
Перезагрузить страницу Ресурсы для программы Haskell
Ответ
 
Опции темы Опции просмотра
  (#46 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 30.11.2010, 17:28

Практика функционального программирования, 6.
Цитата:
Содержание

Гвоздь номера — эксклюзивные интервью с титанами функционального мира, создателями языков Haskell и Erlang: Саймон Пейтон Джонс и Джо Армстронг поделятся мыслями и ответят на вопросы о своих детищах и обо всем остальном, от работы в Microsoft Research до творчества Тарковского.

Также приглашаем:

Тех, для кого «web scale» — не пустой звук — на просмотр смертельной битвы между Erlang и node.js, организованной Дмитрием Демещуком;
Тех, кто испытывает противоречивые чувства по отношению к Java — на обзор языка Scala от Влада Патрышева;
Тех, кто неравнодушен к растительному миру и абстрактной алгебре — на ознакомление с алгоритмическим творчеством Дэна Пипони (создателя спецэффектов ко всем трем «Матрицам» и бога Haskell) и на его развитие в статье вашего покорного слуги.


Don't fear the Monad
Ответить с цитированием
  (#47 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 23.12.2010, 16:08

Clean 2.3 is now available for Windows and Linux (IA32 and AMD64)
Цитата:
New in version 2.3:

Language additions:

- Unboxed and boxed array expressions and comprehensions.
For example:
{# 0,1,2 } // an array of type .{#Int}
{! 0,1,2 } // an array of type .{!Int}
{# e+e \\ e <- [0,1,2] } // an array of type .{#Int}
{! e+e \\ e <- [0,1,2] } // an array of type .{!Int}

- Record and array updates after # can also be written as:
# r & x = 1
instead of
# r = {r & x = 1}
or
# a & [i] = x
instead of
# a = {a & [i] = x}
Multiple updates are also allowed, for example:
# r & x = 1,
y = 2,
z = 3
instead of
# r = {r & x=1, y=2, z=3}
Multiple fields and indices are also possible, for example:
# r & a.[i].x = y
instead of
# r = {r & a.[i].x = y}

- A generic function can be imported explicitly, for example:
from StdGeneric import generic bimap

Windows libraries:

- Renamed ArgEnvWindows to ArgEnv.
- The Tcp library has been split in a part that does not depend on
Object IO and a part that does. This new library (TCPIP) should now
be used.
- Ported MersenneTwister, Gast en Dynamics (without dynamic linking)
to 64 bit Windows.
- Removed GEC and Hilde.

Linux libraries:

- Renamed stdenv to StdEnv.
- Ported Directory and MersenneTwister.


Don't fear the Monad
Ответить с цитированием
  (#48 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 03.02.2011, 02:38

Годный SML - Alice ML
Цитата:
Alice ML is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming.
Wiki


Don't fear the Monad
Ответить с цитированием
Ads
  (#49 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 11.03.2011, 03:17

Haskell Platform 2011.2.0.0 для тестирования


Don't fear the Monad
Ответить с цитированием
  (#50 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 23.03.2011, 15:55

Системы типизации лямбда-исчисления. Лектор: Денис Москвин aka deniok


Don't fear the Monad
Ответить с цитированием
Ads.
  (#51 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 13.04.2011, 19:57

Практика функционального программирования, 7.

Цитата:
Язык РЕФАЛ — взгляд со стороны. Бойко Банчев расскажет о сущности, истории и современном состоянии языка РЕФАЛ — детища Валентина Фёдоровича Турчина; языке незаслуженно подзабытом, но на десятилетия опередившем своё время и пустившем корни во множество современных ЯП (как, например, Mathematica).

Circumflex — веб-фреймворк на Scala comme il faut. Александр Темерев даст урок использования этого «обезжиренного» и гибкого веб-фреймворка, написанного на Scala российской командой во главе с Борисом Окунским.

Разработка алгоритма обнаружения движения в среде программирования Mathematica. Вадим Залива расскажет об опыте прототипирования такого алгоритма при разработке iPhone-приложения iSentry. Хотя Mathematica и не является в полном смысле этого слова функциональным языком программирования, но программирование в этой среде задействует множество не очень распространенных пока в мейнстриме, но очень важных и заслуживающих внимание средств: интерактивный интерпретатор, гомоиконность (единство кода и данных), сопоставление с образцами, wholemeal programming (оперирование целыми структурами данных, а не их частями), акцент на «чистое» программирование, dataflow programming (Manipulate) и т. п.

Как написать LDAP-сервер на Erlang и Как написать LDAP-сервер на Си. Максим Сохацкий и Олег Смирнов обменяются любезностями со Львом Валкиным: Максим и Олег похвалят Erlang за то, что на нем можно за 20 минут написать LDAP-сервер, а Лев докажет, что дело тут вовсе не в Erlang.

Продолжения в практике. Алексей Вознюк (человек, написавший на LISP самую быструю программу к конкурсу в ПФП № 3) расскажет об использовании продолжений для упрятывания асинхронности кода за обыкновенным «последовательным» синтаксисом. Эта тема особенно актуальна в контексте взрывного роста Веба и сетевых сервисов, но интересна и потому, что открывает целый пласт неожиданных структур управления. Рекомендуем перед прочтением ознакомиться с недавно опубликованным в «Библиотечке ПФП» переводом статьи «Паттерны использования call-with-current-continuation».

Суперкомпиляция: идеи и методы. Илья Ключников, занимающийся суперкомпиляцией в Институте прикладной математики им. М. В. Келдыша, расскажет о суперкомпиляции (кстати, изобретенной также В. Ф. Турчиным в контексте языка РЕФАЛ), построив поразительно компактный и понятный суперкомпилятор простого языка, и покажет, что она применима не только для удивительно мощной оптимизации многих классов программ, но имеет и другие неожиданные применения. Обязательно прочитайте и приложение!


Don't fear the Monad
Ответить с цитированием
  (#52 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 17.04.2011, 01:22

Haskell Platform 2011.2.0.1 сhangelog.


Don't fear the Monad
Ответить с цитированием
  (#53 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию GHC 7.2.1 - 12.08.2011, 20:59

[announce] [release notes]
Цитата:
There is a new family of language extensions, collectively known as "Safe Haskell". This includes notions of "safe modules", "trusted modules" and "trusted packages".
...
The new extension MonadComprehensions allows comprehension syntax to be usde with any Monad, not just lists.
...
The new DefaultSignatures extension allows you to define a default implementation for a class method that isn't as general as the method's type.
The new DeriveGeneric extension allows instances of the new GHC.Generics.Generic class to be derived. Together with the DefaultSignatures extension this allows generic programming.


Don't fear the Monad
Ответить с цитированием
  (#54 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 09.11.2011, 10:26

Brian Beckman: Don't fear the Monad
Dr. Ralf Lämmel
Brian Beckman: The Zen of Stateless State - The State Monad - Part 1
Brian Beckman: The Zen of Stateless State - The State Monad - Part 2


Don't fear the Monad
Ответить с цитированием
  (#55 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 18.12.2011, 12:17

Haskell Platform 2011.4.0.0


Don't fear the Monad
Ответить с цитированием
  (#56 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 26.12.2011, 16:14

Clean 2.4

Цитата:
- Language extensions:

- Qualified imports.

Identifiers can be imported qualified by adding 'qualified' after
'import' in the import statement. For example:

import qualified StdList;

from StdList import qualified drop,++;

Identifiers imported in this way can be used by prefixing the
identifier with the module name between single quotes and a dot.
If an identifier consists of special characters (for example ++)
an additional single space is required between the dot and the
identifier.

For example:

f l = 'StdList'.drop 1 (l 'StdList'. ++ [2]);

Currently field names of records are not imported by an implicit
qualified import, but can be imported with an explicit qualified
import.

Qualified names may only be used if a qualified import is used,
not if the identifier is only imported by a normal (unqualified)
import. An identifier may be imported both unqualified and
qualified.

Qualified imports may be used in definition modules, but qualified
identifiers cannot be imported from a (definition) module.

- Updates of unique array elements (since Clean 2.3):

A unique array element of a (unique) array of unique elements
can be selected and updated, if the selection (using ![ ]) and
update (with the same index) occur in the same function and the
array is not used in between (only the selected element is used).

For example, below a unique row is selected, updated by inc_a
and finally the row of the array is updated.

inc_row :: !*{#*{#Int}} !Int -> *{#*{#Int}};
inc_row a row_i
# (row,a) = a![row_i];
row = inc_a 0 row;
= {a & [row_i]=row};

inc_a :: !Int !*{#Int} -> *{#Int};
inc_a i a
| i<size a
# (n,a) = a![i];
a & [i]=n+1;
= inc_a (i+1) a;
= a;

- Strictness annotations in types of class instance members

Types of class instance members may contain additional strictness
annotations. For example:

class next a where
next :: a -> a

instance next Int where
next :: !Int -> Int
next x = x+1

If such an instance is exported, the type of the instance member
must be include in the definition module:

instance next Int where
next :: !Int -> Int

If no additional strictness annotations are specified, it can still
be exported without the type by:

instance next Int

- The language report has been updated to Clean 2.2, but is still not
up to date. A html version is included and the pdf version now has
bookmarks.

- Bug fixes (Clean IDE, 64 bit runtime system, time profiler and
code generation, compiler).

- generics are a bit more efficient (more efficient adapters and the
GenericInfo info parameter is removed if it is not required).

- If the dynamic linker is used, the object code is no longer stored
in the .lib file, but each object file is stored separately, and can
be shared to save disk space. The .tcl and .typ files are smaller.

- The TCPIP library (without Object IO extensions) has been ported
to Linux and Mac OS X.

- The part ot the Dynamics library that can be used without the dynamic
linker is included in all versions. To use dynamics with clm add
the -dynamics flag. clm does not recompile modules if -dynamics is
enabled, this may result in an undefined labels linker error.


Don't fear the Monad
Ответить с цитированием
  (#57 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию GHC 7.2.2 - 06.02.2012, 12:06

[release notes]


Don't fear the Monad

Последний раз редактировалось calabi-yau; 06.02.2012 в 12:09
Ответить с цитированием
  (#58 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию GHC 7.4.1 - 06.02.2012, 12:11

[announce][release notes]

Цитата:
The Num class no longer has Eq or Show superclasses. A number of other classes and functions have therefore gained explicit Eq or Show constraints, rather than relying on a Num constraint to provide them.

You can make code that works with both Haskell98/Haskell2010 and GHC by:

Whenever you make a Num instance of a type, also make Show and Eq instances, and

Whenever you give a function, instance or class a Num t constraint, also give it Show t and Eq t constraints.

There is a new feature Safe Haskell (-XSafe, -XTrustworthy, -XUnsafe).

There is a new feature kind polymorphism (-XPolyKinds). A side-effect of this is that, when the extension is not enabled, in certain circumstances kinds are now defaulted to * rather than being inferred.

There is a new feature constraint kinds (-XConstraintKinds).

It is now possible to give any sort of declaration at the ghci prompt.

The profiling and hpc implementations have been merged and overhauled. Visible changes include renaming of profiling flags and the cost-centre stacks have a new semantics, which should in most cases result in more useful and intuitive profiles. The +RTS -xc flag now also gives a stack trace.

It is now possible to write compiler plugins.

DPH support has been significantly improved.

There is now preliminary support for registerised compilation on the ARM platform, using LLVM.


Don't fear the Monad
Ответить с цитированием
  (#59 (permalink)) Старый
calabi-yau calabi-yau вне форума
Member
 
Сообщений: 338
Сказал(а) спасибо: 0
Поблагодарили 10 раз(а) в 10 сообщениях
Регистрация: 28.09.2009
По умолчанию 04.06.2012, 09:52

Haskell Platform 2012.2.0.0


Don't fear the Monad
Ответить с цитированием
Ads
Ответ

Опции темы
Опции просмотра

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

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Trackbacks are Вкл.
Pingbacks are Вкл.
Refbacks are Выкл.


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Задачи на языке Haskell! gomon Haskell 2 21.01.2012 20:00
Использование комбинаторов в Haskell Undina Haskell 0 13.12.2011 12:53
Вложенный if then else в Haskell Елена_ Haskell 3 07.12.2011 10:52
Haskell после Пролога? pavelr Prolog 5 24.03.2011 22:29
Средства взаимодействия haskell Zambidis Haskell 4 15.12.2010 01:31
Ресурсы для программы Python Кошмар Python 46 18.10.2010 03:15
Как перевести программный код на Haskell winSistem32 Lisp 0 24.05.2008 18:59
Ресурсы в .NET как их использовать Saracin .NET 2 25.04.2008 15:48
Как пересобрать ресурсы в S60 Palmman Symbian 0 14.05.2007 13:45
Ресурсы компьютера где найти исходник программы Shturmovik Delphi 2 08.02.2007 11:16
Ресурсы и DLL библиотека sadhoo Delphi 2 10.06.2004 17:19



Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd.
Нardforum.ru - компьютерный форум и программирование, форум программистов