4da
13.03.2013 13:34
Я так понимаю, сейчас, едниственные достойные высокоуровневые статические языки, генерящие быстрые бинари с нормальными либами и без скрытых граблей — ocaml, C++ и D ?
amd63
13.03.2013 08:46
"Не могу создать"-псто: @komar, ты можешь для нубаса в один абзац написать, почему ты больше окамлишься, чем хаскелишь? // Потому что у нубаса в голове крутится "Шо то — ML, шо это — ML"
komar
11.02.2013 11:12
<bobry> я думал у камло документация фигня и stdlib ниочем, а потом я попробовал SML...
komar
04.02.2013 08:45
Пишу файловое хранилище. Товарищи занегодовали, чего это я какой-то велосипед изобретаю. Я им объясняю, что совать все файлы в одну диру — хуевая идея. Они не верят, говорят про какой-то индекс. Решил доказать и забенчмаркать. Написал строчку на баше и понял, что "| xargs touch" адски тормозит. Взял OCaml:
for i = ... more →
gds
07.01.2013 18:54
"
This reminds me of a funny event at the Haskell workshop 2006. One participant stood up and sincerely proposed that Haskell' standard would find a way to automatically derive a monadic version of a pure expression. Chung-chieh Shan recommended that person to take a look at OCaml...
"
(уже второй раз лезу за этой ... more →
komar
24.12.2012 10:25
Вообще, в порядке эксперимента надо взять окамл и переписать там небо с аллахом на объектах с утиной типизацией. Просто для того, чтобы посмотреть, продолжит ли она бесить так же, как в петоно- и рубиговне, либо же станет юзабельной оттого, что все ундефайнед методы будут отсеиваться на этапе компиляции. Вангую, ... more →
komar
27.11.2012 08:20
Упарываешься быстрым — пиши на окамле!
via @mad_hater
Minoru
24.09.2012 14:31
http://www.reddit.com/r/haskell/comments... — помогите уже человеку обобщить идею на кубики с n² квадратами на каждой стороне, а то я рехнусь скоро — у меня была идея, но я никак не могу довести её до ума (постоянно получаю <<loop>>).
Minoru
29.07.2012 11:39
Не знаю, под каким тегом спрашивать такие вопросы, так что поставил названия языков, пользователи которых могут знать ответ.
Читаю про structural и nominal typing, возникла пара вопросов:
• в примерах структурной типизации[1] мы определяем функцию, которой от параметра нужен лишь метод set_x. Это разве не duck ... more →
komar
14.07.2012 01:54
Сайт оксигена охуенно переписали. У меня скроллинг тормозит, нахуй.
gds
29.05.2012 19:28
К нам сегодня заходил
Лиспомакроскобкофил,
Он межушным поролоном
Типизацию хулил.
komar
13.05.2012 15:44
> These languages are all well designed but for different purposes. OCaml is specifically designed for writing theorem provers and Haskell is specifically designed for researching Haskell. F# was designed to address all of the most serious practical problems with OCaml and Haskell such as poor interoperability, ... more →
gds
18.04.2012 17:29
"After a few years trying to follow this list, I start to have an idea of what it means when J. Garrigue says that something is difficult :)" [caml-list]