Такое впечатление, что в Apple тайно поселились хаскеллисты. https://developer.apple.com/swift/blog/?id=8 :

extension MyBool : Equatable {}
func ==(lhs: MyBool, rhs: MyBool) -> Bool {
switch (lhs, rhs) {
case (.myTrue,.myTrue), (.myFalse,.myFalse):
return true ( Read more... )

Попытаюсь объяснить, что я хочу, поскольку не знаю, в каком разделе математики копать.

Идея выглядит так: class Dom a where dom :: [a]

Возьмем тип Bool. Для него будет dom = [False, True] .
Возьмем Maybe Bool. Для него dom = [Nothing, Just False, Just True] .

Теперь будем брать потенциально бесконечные множества.
Например, Integer. Для него dom ( Read more... )

Как известно следующие определения идентичны:
class Collects e ce | ce -> e where empty :: ce insert :: e -> ce -> ce member :: e -> ce -> Bool toList :: ce -> [e] instance Collects E CE where ...
class Collects ce where ( Read more... )

В пакете haskeem, небольшого интерпретера Scheme, основной тип записан так:

( data LispVal = ... )

http://hackage.haskell.org/packages/archive/pkg-list.html

Количество пакетов растет с катастрофической скоростью. Прежде, чем писать что-то самому, следует внимательно посмотреть, а не написано ли это уже. А если написано, переписать как тебе будет удобнее и ( Read more... )

Наконец дошли руки до TCPServer-0.1.0.
Реализацию TCP-протоколов со стороны сервера теперь можно описывать проще.

Приблизительно так:

instance TCPServer Simple SimpleMsg where
tcpHandler _ (h, _, _) =
liftIO $ hPutStrLn h "I'm minimal TCPServer instance!"
Класс TCPServer - это "сложный" пример использования ActorProcessНа ( Read more... )

По поводу конкуренции на акторах... Вроде давно уже надо было это сделать:

ActorProcess-0.1.0
Со странички можно скачать cabal-пакет, посмотреть некоторое количество простых примеров, почитать о том, как пользоваться. Ну и получить описание всех функций.

Существует ли другие способы проверить по ThreadId существует ли тред или уже закончил своё выполнение (кроме как сигнализировать об этом в MVar из самого этого треда)?

Давеча dtim написалИ если по ходу дела в HUG соберется команда, которая затеет какой-нибудь проект - будет вообще замечательно.

Я бы охотно вгрызся в какой-нибудь проект на Хаскелле (и не только). Нужно найти задачу и организовать процесс её выполнения между участниками группы. Именно, количество качественных приложений будет способствовать быстрому ( Read more... )

В качестве примера работы со связанными процессами приведем сервер с состоянием-строкой. Посылая ему комаду Tail мы каждый раз изменяем состояние сервера на хвост от текущей строки. И в конце в цикле сервера возникает ошибка, т. к. хвост от пустого списка взять невозможно.

( Crush.hs с комментариями )