*OCaml

Наша редакция рада ответить на просьбу господина @ulidtko, изложенную в http://amd63.psto.net/tsfgse#123 , нижеследующим куском кода: https://gist.github.com/gdsfh/7140f41aca...
Там в каментах я показал, во что экстрактится всё это безобразие. Как обычно, все пруф-термы стёрты, остались только ... more →

#tsiezf

2 comments

Я так понимаю, сейчас, едниственные достойные высокоуровневые статические языки, генерящие быстрые бинари с нормальными либами и без скрытых граблей — ocaml, C++ и D ?

#tsfnho

5 comments

"Не могу создать"-псто: @komar, ты можешь для нубаса в один абзац написать, почему ты больше окамлишься, чем хаскелишь? // Потому что у нубаса в голове крутится "Шо то — ML, шо это — ML"

#tsfgse

144 comments

<bobry> я думал у камло документация фигня и stdlib ниочем, а потом я попробовал SML...

#tinthg

add comment

Пишу файловое хранилище. Товарищи занегодовали, чего это я какой-то велосипед изобретаю. Я им объясняю, что совать все файлы в одну диру — хуевая идея. Они не верят, говорят про какой-то индекс. Решил доказать и забенчмаркать. Написал строчку на баше и понял, что "| xargs touch" адски тормозит. Взял OCaml:

for i = ... more →

#tieggn

11 comments

ОПА ОПА: http://opalang.org/
Это дерьмо на окамле написано.

#tisgff

add comment

<komar> http://juick.com/ugnich/2217148
<gds> "и даже на конкурсе мудаков ты займёшь второе место!"

#tisego

add comment

"
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 →

#tioeof

add comment

Блядь, посмотрите на него: http://juick.com/LavirTheWhiolet/2144782

#tfgenz

66 comments

Вообще, в порядке эксперимента надо взять окамл и переписать там небо с аллахом на объектах с утиной типизацией. Просто для того, чтобы посмотреть, продолжит ли она бесить так же, как в петоно- и рубиговне, либо же станет юзабельной оттого, что все ундефайнед методы будут отсеиваться на этапе компиляции. Вангую, ... more →

#tfgizo

28 comments

осильте джаву, дурачки

#tfhfes

4 comments

Упарываешься быстрым — пиши на окамле!
via @mad_hater

#tfznse

add comment

Опыт использования Coq на практике, или Как я сам себя отпетушил COQОКОКОКО < http://gds.livejournal.com/65879.html >

#thfgnh

1 comment

http://opam.ocamlpro.com/
Все, пиздец, пора съебывать с этого сраного недоязычка.

#thozis

15 comments

Зарелизил тупой до опизденения, но вроде рабочий темплейтер для окамла: http://komar.bitcheese.net/en/code/ecaml

#ttggsz

1 comment

http://www.reddit.com/r/haskell/comments... — помогите уже человеку обобщить идею на кубики с n² квадратами на каждой стороне, а то я рехнусь скоро — у меня была идея, но я никак не могу довести её до ума (постоянно получаю <<loop>>).

#ttosgg

2 comments

Посмотрите на этого кукаретника: http://thesz.livejournal.com/1328059.htm...

#toihng

3 comments

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

Читаю про structural и nominal typing, возникла пара вопросов:
  • в примерах структурной типизации[1] мы определяем функцию, которой от параметра нужен лишь метод set_x. Это разве не duck ... more →

#tzsono

15 comments

Новый ocaml 4 вышел → http://www.linux.org.ru/news/opensource/... К сожалению, мультитредовости рантайма у них даже в планах нет.

#tzigig

6 comments

Чем твой https://forge.ocamlcore.org/projects/cam... отличается от того, что мне в долбиян запихнули?

#tzhhhz

2 comments

Сайт оксигена охуенно переписали. У меня скроллинг тормозит, нахуй.

#tztigt

add comment

К нам сегодня заходил
Лиспомакроскобкофил,
Он межушным поролоном
Типизацию хулил.

#onzfeg

5 comments

> 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 →

#ogieeg

2 comments

"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]

#oesnhi

add comment

http://www.free-lance.ru/projects/110309...
Нужен толковый программист
Языки:
С/С++
Delphi/Pascal
Java
С#
Python
Ruby
PHP
OCaml
Haskell
Perl
Scala

Пишите,если в нескольких разбираетесь!

#oeheof

9 comments