[C++] Чего вам нехватает в языке?

> разработчики С так не думают видимо, раз реализовали Limbo для Inferno...

разработчики С нас к сожалению не радуют языками — go откровенно убог, limbo, судя по его низкой популрности, вероятно тоже

> limbo, судя по его низкой популрности, вероятно тоже

просто замечательная логика...

Какие есть хорошие реализации на хаскелле событийно-ориентированной логики?

Reactive

YAMPA

FieldTrip

Grapefruit

Что можно посмотреть окромя xmonad?

BlueTile

Frag

а вот тут можно посмотреть примеры событийно-ориентированного кода на Reactive. достаточно?

> достаточно?

LamerOk умер и закурил

>А еще то же самое для монады State. А еще то же самое для монады...

Для монады State? Работа с файлом? Думай, что говоришь :3

Вполне. Спасибо.

умер и закурил

Это будет после чтения всего списка. ))

Любая динамика.

В смысле, динамическая типизация? Да нет, там тип вполне надёжно определяется в рантайме.

А еще то же самое для монады State.

Нет, только для IO. И то только потому, что открытие/закрытие файла - сайд-эффект. Больше ничего не нужно.

Кстати, я опять не прав, нужно так:

withOpenFile :: String -> (File -> IO a) -> IO a

ибо с файлом мало что можно сделать без сайд-эффектов.

Вполне. Спасибо.

если что, самыми актуальными являются Reactive и Grapefruit; однако наиболее показательный в смысле выразительности проект (Frag) написан с использованием YAMPA

здесь есть полный список доступных на сегодня FRP-библиотек на Haskell (19 штук). если что - готов отвечать на вопросы по теме, с FRP возился (и потихоньку продолжаю)

19 штук

не, нифига не 19, штук шесть всего. вот блин, размазали по пакетам

А толку то, что он определяется? Я никакого dbc на нем сделать не могу, кроме как в ручную.

Если мне нужен an_array, который в коде будет работать так:

an_array.each { |duck| duck.quak() }

я вполне предсказуемо хотел бы иметь инструменты так или иначе хоть в процессе трансляции, хоть в рантайме позволяющие гарантировать, что в следующем коде

an_array.push(el)

для каждого el гарантируется наличие метода quak()

А фигушки.

Еще раз спасибо. Предложением начну пользоваться где-то через месяц.

кстати, определение результата функции как

IO a

я так понимаю нужно для более корректного вывода типов?

т.е., чтобы компилятор мог определить, что раз функция someFunc юзает где-то внутри withOpenFile, то имеет сайд-эффект? если так, то почему он не может это определить по (File -> IO a) в определении типа withOpenFile?

кстати, определение результата функции как
IO a
я так понимаю нужно для более корректного вывода типов?

Оно нужно для корректного типа. Возвращаемое значение имеет тип «IO a», а не «a».

> Нет, только для IO. И то только потому, что открытие/закрытие файла - сайд-эффект. Больше ничего не нужно.

А если кроме открытия-закрытия файла нам при его обработке надо иметь сайд-эффект — обновление некторой переменной? Как тут без State?

>А если кроме открытия-закрытия файла нам при его обработке надо иметь сайд-эффект — обновление некторой переменной? Как тут без State?

Dude... google for IORef

Тут даже наоборот. Это State не может открывать файлы, а вот IO может

Во-1, тогда уж не State, а StateT x IO.

Во-2, для такой монады withOpenFile выражается через исходную withOpenFile, а не пишется заново:

withOpenFileState :: String -> (File -> StateT x IO r) -> StateT x IO r
withOpenFileState name handler =
    do s <- get
       (r, s') <- lift $ withOpenFile name $ \file -> runStateT (handler file) s
       put s'
       return r

> для каждого el гарантируется наличие метода quak()
Щито? Может тебе ещё и для каждого числа метод split? А то ай-ай-ай получается, нехорошо.
Никто не запрещает определить свой класс с своим методом push.

Haskell и C++ представители совсем разньіх парадигм программирования. Их нельзя сравнивать ;-)

Haskell и C++ представители совсем разньіх парадигм программирования. Их нельзя сравнивать ;-)

Haskell - это лучший императивный язык. (c) кто-то из классиков

Haskell - язьік функционального программирования ;-)

> Haskell - это лучший императивный язык. (c) кто-то из классиков

Бред!!! Императивньіе язьіки - FORTRAN, ALGOL, C, ... Haskell - декларативньій ;-))) prooflink: http://www.ibm.com/developerworks/ru/library/l-haskell/index.html

> Haskell - язьік функционального программирования ;-)

Да, а о том, что хаскелл - лучший императивный язык говорит его создатель :)