?

Log in

Обсуждаем OCaml

May. 4th, 2012

03:40 pm - Как происходит работа в целом

привет всем.

У меня был свой процесс работы в ocaml, но мне сдается, что он не совсем правиьный.
Может какие-то советы последуют, буду рад.


Как я работаю, нормально ли это:

1. все пишу в интерпретаторе, интерактивно, то есть если нужно добавить модуль, тип или функцию я ее добавляю и сразу выполняю по REPL
2. в самом начале работы я загружаю (опять же в интерпретатор) все мои модули, то есть получается что они загружаются текстом и сразу компилируются
3. если я меняю функцию в каком-то модуле (в REPL) то потом перегружаю все модули зависящие от текущего (опять же при помощи #use)

нормально ли я все делаю? вообще один проект я писал в течении года наверное, и именно так почему-то делал, по наитию.

Есть ли другие, более "правильные" процессы?

May. 3rd, 2012

02:41 am

а вот интересно, есть ли альтернатива ocaml'у вообще? какой язык можно с аналогичными характеристиками существует?
это так, праздный вопрос скорее, для развлечения.

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

так что, похоже что и нет альтернативы. ))

Apr. 30th, 2012

12:04 am - Модули из "батареек"

привет всем,
может кто-нибудь скажет что-то в защиту файла BatPair.mli (есть и другие примеры, например BatArray) из библиотеки "Batteries".

В нем встречается следущие строки:

..
type ('a,'b) t = 'a * 'b
..
val enum : ('a * 'a) -> 'a BatEnum.t
val of_enum : 'a BatEnum.t -> ('a * 'a)
..
include BatEnum.Enumerable with type 'a enumerable = 'a * 'a
..


тут два вопроса:
1) зачем объявлять тип ('a, 'b) t если он НИГДЕ не используется в модуле, в сигнатурах функций применяется 'a * 'b
2) зачем объявлять enum и of_enum, когда мы икнлюдим BatEnum.Enumerable

странно как-то..

Mar. 2nd, 2012

08:32 pm

привет немногочисленные коллеги. )

Так все здорово - сразу все установилось (через GODI),
чего еще надо..
Сразу зафигачилось все в емаксе как надо, ну вообще красота,
автоуомплит.. ну кайф - можно работать.



Вообще у меня такое впечатление что язык весьма подходящий и выделяющийся.
Пробовал писать код на хаскеле - сложновато, не очень удобно, такое ощущение,
что занимаешься комбинаторикой, жонглироваием символьным.
(просто встречал тут в ЖЖ как хаскелисты наезжают на вполне нормальный прагматичный язык,
как будто дел больше нет в жизни :))


И чего камль все так любят сравнивать с си++?? это соврешенно разные ж вещи.


А кто как думает стоит ли использовать OO (в смысле классы) в ocaml вообще?
или все же лучше использовать классическое подмножество языка (модули, функторы)?

Мне кажется что лучше не использовать объектнуя часть, для этого есть си++ ;)

Tags:
Current Mood: working

Mar. 3rd, 2011

06:50 pm

Раз уж молчание тут вековое, то давайте хотя бы смехуёчки почитаем.

>> - Printf/Scanf: %U of %cu for UTF8.Char.t

> It cannot be %cu because that would break the following code:
>    Printf.printf "Ct%cul%cu fhtagn\n" 'h' 'h';;

And anything that breaks Cthulhu's sleep would have such tremendous
side-effects that it would upset even us "impure" ML guys...

Aug. 20th, 2010

02:32 pm - tutorial for Haskell programmers

А есть ли какой-нибудь хороший туториал по Окамлу для тех, кто уже знает Хаскелл? Хочется что-то, где не будет излишних объяснений базовых концепций функционального программирование, где сразу переходят к делу.

Aug. 6th, 2010

09:35 am

Касаемо вопроса о спаме: предлагают сделать премодерацию вступления в коммунити и разрешение постить только членам коммунити.
Мне это не слишком по нраву (так как новому человеку нельзя будет задать вопрос без вступления), но решения лучше я не знаю. Подскажите, если знаете. Иначе на днях воплощу описанное решение.

Aug. 5th, 2010

09:08 pm - синдикация в русскую планету фп

Я временно запретил синдикацию этого коммьюнити в русскую планету фп - до тех пор пока не будет наведен порядок со спамом... Иначе в ленту попадает один только спам.
Если модераторы захотят возобновить синдикацию, после исправления ситуации, то напишите мне е-почтой

Aug. 3rd, 2010

02:49 pm - 3.12

вышел ocaml 3.12

что нового

явный полиморфизм типов вроде как добавили

Jul. 14th, 2010

03:29 pm - модерация

а давайте введем премодерацию постингов? а то спам в ленте начинает задалбывать...

Navigate: (Previous 10 Entries)