прикладная монадология...

[DIzer]

даже если они и имеют в загашники 10 гигагерцивые технологии... вряд ли они будут выкидывать их на рынок пока не окупились их предыдущие вложения (серьезных конкурентов у них в этом сегменте рынка нет)

[Губанов Сергей Юрьевич]

Посмотрел какая память сейчас продаётся (кстати, память каторую брал весной уже подешевела рублей на 400), так вот есть предложения работающие на частоте 2400 МГц с таймингами 9-11-11-31, то есть она быстрее чем память на 1600 МГц с таймингами 9-9-9-24 на величину (50%, 22%, 22%, 16%). Думаю в течение года-двух можно ожидать чего-то на уровне 2400 МГц с 8-шными таймингами, что будет на 68% быстрее. Память работающая в 2 раза быстрее вероятно уже будет DDR4, она вроде как появится не раньше чем в 2014 году.

Короче, использование GC в программах использующих 8-32 гигабайтов памяти будет оставаться нежелательным (это мягко говоря) на столько долго на сколько вообще можно сейчас предвидеть. Скорей всего, на 8 гигабайтах GC станет работать с удовлетворительной скоростью не раньше чем через десять лет.

Ну или, да, таки возьмут и изобретут другой алгоритм сбора мусора...

[ilovb]

Вчера перед сном покурил монады

Вынос мозга.. 
Основную идею вроде понял. Но когда дошло до реального кода на Haskell мой мозг вскипел.
Количество букв в статье зашкаливает.

Существует более простое изложение?

[valexey_u]

Вчера перед сном покурил монады

Вынос мозга.. 
Основную идею вроде понял. Но когда дошло до реального кода на Haskell мой мозг вскипел.
Количество букв в статье зашкаливает.

Существует более простое изложение?

Конечно! Вот оно: монада — это моноид в категории эндофункторов. Пруф: http://iportnov.blogspot.com/2010/10/haskell-monads.html

[ilovb]

Я более чем полностью уверен что там очередная элементарная хрень спрятана. Просто сложно ее разглядеть за всем этим пафосом, обилием непривычных терминов и значков. Да и лень тратить время и энергию на сомнительные вещи.

Если человек не может объяснить концепцию "на пальцах", то либо он сам ее плохо понял, либо излагать не умеет.

Оберон изучить по сообщению о языке проще, чем одну эту статью вкурить 
Как так?

[valexey_u]

Я более чем полностью уверен что там очередная элементарная хрень спрятана. Просто сложно ее разглядеть за всем этим пафосом, обилием непривычных терминов и значков. Да и лень тратить время и энергию на сомнительные вещи.

Если человек не может объяснить концепцию "на пальцах", то либо он сам ее плохо понял, либо излагать не умеет.

Оберон изучить по сообщению о языке проще, чем одну эту статью вкурить 
Как так?

Это так потому, что язык Оберон никаких концепций сам по себе не несет. А монады это внеязыковая довольно интересная штука. Замечу, что в хаскелле на уровне языка монады в общем то не поддерживаются, точнее там есть только do-нотация и все. Сами монады они вне языка.

А вообще, технически, монады, как и многое другое в haskell'e, эксплуатируют одну простую методику: согласование операндов в выражении через систему типов. Но, конечно, это не вся их суть :-)

Вообще, я бы советовал вначале пописать на haskell'e не задумываясь что такое монада, точнее без них вообще (это можно сделать). Через какое-то время поймешь что у тебя во многих местах имеется некий четко прослеживающийся паттерн, который неплохо бы окультурить, вот тогда-а ты и вспомнишь про монады и про do-синтаксис ;-)

[Geniepro]

Как говорится, пока я читаю статью по хаскеллу, у меня скринсейвер успевает запуститься раньше, чем я перелистываю страницу... )))

[valexey_u]

Вообще, я бы советовал вначале пописать на haskell'e не задумываясь что такое монада, точнее без них вообще

Да, а вот что надо понимать в haskell'е сразу - так это функции высшего порядка (HOF). Без этого никак. Ну и вывод типов, систему типов (хотя бы на примитивном уровне) неплохо бы знать. А монады.. Они потом. Как приятное (но не обязательное) дополнение.

[ilovb]

Нашел на додиезе:
http://dogfuntomdev.wordpress.com/2012/05/20/%D0%BF%D0%B5%D1%80%D0%B5%D0%B2%D0%BE%D0%B4-%D1%87%D1%83%D0%B4%D0%BE-%D0%BC%D0%BE%D0%BD%D0%B0%D0%B4/

Надеюсь лучше пойдет 

add: и вот еще:
http://rsdn.ru/forum/decl/4049523.1

[ilovb]

Забавный коммент:

Haskell certainly hurts my brain. Sometimes it's a good hurt.

I've been playing on and off for a couple of years. I've even written a couple of tutorials on things like monad transformers. And yet on a scale of 0-10 of guruness, I feel like I'm only just climbing out of level 0.

I really enjoyed the puzzle of trying to figure out how to thread a global counter through a logic program here. But I enjoyed it because I'm a mathematician and I like puzzles for their own sake. But did I really have to go through that simply to add a counter to my code?

http://koweycode.blogspot.com/2006/08/does-haskell-hurt-your-brain.html