Чтобы добавлять сообщения и комментарии, .

@ygrek:
ygrek

Нативный OCaml в телефоне — ygrek.org.ua
Вообще termux очень удобная штука оказалось, легко устанавливается, куча пакетов с привычным софтом — ssh, git, rsync, итд. Даже gdb работает!

@Zert:
Zert

github.com кто пробовал? Что это такое? При чём там вообще npm?

@trapdoor:
trapdoor

roscidus.com

@ymn:
ymn

soundcloud.com

@ymn:
ymn

"We have the pleasure of celebrating the birthdays of Cesar-Francois
Cassini, Igor Stravinsky and Maurits Cornelis Escher by announcing the
release of OCaml version 4.02.2"

sympa.inria.fr

@ygrek:
ygrek

TEHDRAMA в github.com закончилась добровольным признанием автора в бесплодности попыток изменить божественный калемвский stdlib. Но революционно настроенные массы не теряют надежды в github.com

@ymn:
ymn

Reviewing the second year of OCaml Labs in 2014 anil.recoil.org

@ygrek:
ygrek

Advanced Functional Programming
cl.cam.ac.uk
лекции по системе типов камля с уклоном в матан, свежатинка, с гадтами и staging'ом

@eugene-pnf:
eugene-pnf

how foolishly i thought i have seen terrible syntaxes!

@ymn:
ymn

1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language.

mpi-sws.org

@trapdoor:
trapdoor

Наши победили, 4:1. Кто-нибудь смотрел трансляцию?

permalink.gmane.org

@ymn:
ymn

Получил бумажный перевод "Real World OCaml" от ДМК. Всё хорошо, но вот мягкий переплет...

@bitter:
bitter

Читаю книжку по Окамлу — все как в этих ваших хаскелях (тм), даже Maybe есть. Понятно, почему @dmz перепрыгнул так быстро.

@qrilka:
qrilka

довольно забавно, что в techrepublic.com все 3 ссылки на проекты на ФЯ...

@ygrek:
ygrek

Пришло время обновить камло. Перечень вкусняшек — github.com

@dluciv:
dluciv

Где под Виндами взять Opam?
Под Линухом проблем нет, всё ставится и ставится себе.

@dr-Chaos:
dr-Chaos

Поможем @dmz выразить окамловские функторы над параметризованными модулями на хаскиле? twitter.com

@Zert:
Zert

Узнал, как по-французски называются числительные, например, 98. В принципе, это многое объясняет.

@ymn:
ymn

github.com — Implementations of various type systems in OCaml.

@ygrek:
ygrek

Metaprogramming in OCaml overview — github.com

@Kerrigan:
Kerrigan

opam install utop

@olibjerd-ng:
olibjerd-ng

*code

@olibjerd-ng:
olibjerd-ng

List.map ((fun a f -> f a) 1) (List.map (-) [1;2;3;4;5;6;7;8;9]);; (* применяем аргумент к списку функций *)

@saapw:
saapw

Скоро выйдет перевод книжки по ocaml —
dmkpress.com

@ymn:
ymn

Посоны, использующие сабжетеги вместе, дайте посмотреть на ваши конфиги, плз.

@olibjerd-ng:
olibjerd-ng

Нужен ли Standard ML, когда знаю OCaml?

@olibjerd-ng:
olibjerd-ng

Что можете сказать об окамле, используете ли его и для чего?

@byt3:
byt3

Открыл Википедию ==> увидел ;; ==> закрыл Википедию. Не считая лиспов и Хаскеля, у функциональщины синтаксис какой-то идиотский.

@ygrek:
ygrek

"OCaml: What You Gain" — чистосердечная исповедь раскаявшегося и прозревшего питонщика
roscidus.com

@ygrek:
ygrek

#2664589/111
@klapaucius: Для хаскелиста никаких миров без боли и страданий уже не существует.

@ygrek:
ygrek

Как установить opam пакет не обновляя при этом миллион других независимых пакетов?

OPAMCRITERIA=-removed,-changed opam install xxx
Объяснение : sympa.inria.fr

@ygrek:
ygrek

Here's a release candidate for 0install 2.6 (2.6-rc1):

0install.net

0install 2.6 completes the transition from Python to OCaml :-) There
is no remaining Python code in 0install and, therefore, no need to
have Python installed in order to build or run it.

sourceforge.net

@ygrek:
ygrek

1.bp.blogspot.com

@ygrek:
ygrek

Can we print a string in Ocaml without using print_string that it imperative function (I don't know if we can say that). I want a function defined in pure Ocaml.

@ymn:
ymn

Asynchronous Python vs OCaml roscidus.com

@tilarids:
tilarids

Похоже, я не писал в жуйк о чудесном эксперименте с сортировкой флоатов, который я когда-то проводил. Предлагаю провести его и вам(@SannySanoff, например, тебе). Итак, основа для эксперимента — задачка с Ponder This: domino.research.ibm.com
Если очень кратко: представьте, что вы стоите в саду на плоскости, в точке 0,0. В каждой точке с целыми координатами растёт дерево определенного радиуса. Сам сад тоже имеет радиус — 9801, за пределами сада деревья не растут. Начиная с определенного радиуса деревьев вы не сможете увидеть край сада. Нужно определить радиус, начиная с которого это произойдёт.
Но я хотел рассказать о подзадаче, которая может возникнуть при решении в лоб. Для определённого радиуса деревьев для каждого дерева(если забить на остальные деревья) у вас есть угол, начиная с которого дерево блокирует зрение, и угол, начиная с которого дерево больше ничего не блокирует. Подзадача: для каждого дерева в первой кварте (половина первой четверти) построить пары таких флоатов и затем лексикографически эти пары отсортировать. Пар должно быть около 40 миллионов.
Интересны результаты для разных языков, если писать в лоб и использовать стандартные фичи. С++ очень шустр, требует мало памяти (около 300мб, ЕМНИП). СPython помедленней, но ест тоже совсем чуть-чуть, 500-600мб. PyPy намного быстрее CPython, но и памяти съедает больше гига. OCaml съедал два гига. Другая OCaml версия с чьей-то помощью приближалась к Python по потреблению памяти, обгоняя его по скорости. Java версия сжирала 4 гига, работала очень медленно. А если VM ограничить по памяти, то вообще ооочень медленно. Благодаря помощи джавистов удалось загнать Java в рамки 2-х гигов, но качество кода пострадало. Haskell версию заставить нормально работать я не смог, падала по памяти. JS версия тоже не пережила такие запросы по памяти.
Теперь дополнительно, по выразительности по версиям, которые показывали максимальную производительность при минимальном потреблении памяти:
1 место — Python. Никаких оптимизаций проводить не понадобилось. Сортируем стандартные таплы, получаем малое потребление.
2 место — С++. Никаких оптимизаций проводить не понадобилось. Сортируем пары, получаем скорость и малое потребление.
5 место — Java. Пришлось отказаться от использования стандартных средств языка для работы с парами как с объектами.
8 место — OCaml. После оптимизаций код на OCaml стал больше походить на С, чем на функциональщину.
Обратите внимание на отсутствие 3,4,6 и 7 места. Это из-за разрыва в читабельности. Вывод: Python и C++ — офигенные языки, в которых выразительность не принесена в жертву memory footprint, а в случае с С++ — и скорости. Функциональные языки очень расстроили своим непредсказуемым потреблением памяти. Java удивила тем, насколько простая задача может требовать ручных оптимизаций.
Если кто считает, что я не прав — пишите программы, сравнивайте. Буду рад почитать.

@Mendor:
Mendor

Don't mess with OCaml! rain.ifmo.ru

@ymn:
ymn

Всем Real World OCaml! ocaml.janestreet.com

@ymn:
ymn

eax.me

@trapdoor:
trapdoor

users.livejournal.com

Годносрач из глубины веков...