Хорошие проекты для изучения OCaml и F #

Question

После изучения базового синтаксиса чтение некоторого нетривиального кода - это быстрый способ изучения языка. Мы также можем узнать, как создавать библиотеку/программное обеспечение во время чтения кода других.

У меня есть следующие списки.

1. Chess программа в OCaml по Tomek Czajka.

2. Hal Daumé написал several machine learning libraries в Ocaml. Включая деревья принятия решений, логистическую регрессию и SVM. Все они представляют собой код с почти производственным качеством.

3. A Chess Game Analysis программа в F # в Microsoft Research.

Эти три являются моими фаворитами. Будете ли вы предлагать другие источники? Программное обеспечение с открытым исходным кодом общего назначения является хорошим, специализированным открытым исходным кодом, таким как три, которые я перечисляю здесь, еще более приветствуются.

Answer 1

Jean-Christophe Filliâtre's page имеет множество программ и библиотек в OCaml.

Answer 2

Ну, Unison было рекомендовано мне взглянуть на, а также для решения различных проблем, с Project Euler, но лично я сделать больше, написав свои собственные практических программ, так что я, вероятно, адаптируя один из них в OCaml, чтобы посмотреть, как это происходит.

Answer 3

У вас есть источник стандартной библиотеки ocaml, который находится в o'caml.

Я думаю, вы уже смотрели на него, но КАМЛ горба является хорошим источником слишком: Here

Answer 4

Джейнс Street выпустила несколько библиотек here. Фактически они используют OCaml в отраслевой среде. Во всяком случае, я бы проверить их.

Answer 5

Ознакомьтесь с этими сериями записей в блоге по проблеме Bookworm, они беззаботны и хорошо показывают многопартийность F #. Последний выглядит как «функциональный».

• Trie-ing to optimize text search in F#
• How to really be an evil genius (with F#)
• DAWG-fight, Optimizing text search in F# II
• DAWG-Gone!
• The BookWorm challenge

Answer 6

Один из менее хорошо покрыты аспектов OCaml является модульная система высшего порядка. Библиотека ocamlgraph является прекрасным примером использования этой языковой функции.

Возможно, вам также понравится исходный код OCaml для моего проекта HLVM. Исходный код из моей книги OCaml для ученых (2005) свободно доступен here, но не с открытым исходным кодом. Тем не менее, он не обновлялся в течение нескольких лет, и сегодня вы, вероятно, можете сделать гораздо лучше!

MLDonkey был ранним клиентом обмена файлами, который когда-то имел сотни тысяч пользователей. Это сильно параллельное приложение с открытым исходным кодом, полностью написанное в OCaml, весом около 171 000 строк кода.

Файл синхронизации Unison - это еще одно приложение-приложение с открытым исходным кодом, полностью написанное в OCaml, весом в 24 000 строк кода. Это было также первое популярное приложение, написанное в производном ML, для использования асинхронного ввода-вывода. Таким образом, весь код F #, выполняющий async сегодня, по существу получен из него.

FFTW - генератор кода для быстрых преобразований Фурье (БПФ), по существу, очень специализированная форма оптимизирующего компилятора, которая широко применяется и лицензируется для коммерческого использования, например. в основе MATLAB. Написано в основном в OCaml с довольно небольшим количеством C и весом в 14 000 строк кода OCaml.

Вы также можете прочитать исходный код Hevea и ANT, так как это довольно классические области приложений для OCaml, но также и приложения с качеством продукции с тысячами пользователей.

Я не могу придумать, какой код с открытым кодом F # рекомендовать. Там очень мало и, как правило, очень плохое качество. Большинство из них читается как Haskell. ;-)

Answer 7

Для веб-кода Ocaml Opa имеет открытые источники code.