Встречайте — OCaml и Scala

№	Пользователь	Рейтинг
1	tourist	3880
2	jiangly	3669
3	ecnerwala	3654
4	Benq	3627
5	orzdevinwang	3612
6	Geothermal	3569
6	cnnfls_csy	3569
8	jqdai0815	3532
9	Radewoosh	3522
10	gyh20	3447

№	Пользователь	Вклад
1	awoo	161
2	maomao90	160
3	adamant	156
4	maroonrk	153
5	-is-this-fft-	148
5	atcoder_official	148
5	SecondThread	148
8	Petr	147
9	nor	144
9	TheScrasse	144

Всем привет!

Теперь вы можете писать свои решения на OСaml и Scala. Для первого из них используется компилятор версии 3.11.0, скаченный по ссылке http://caml.inria.fr/pub/distrib/ocaml-3.11/ocaml-3.11.0-win-msvc.exe. Для Scala используется последний релиз http://www.scala-lang.org/downloads/distrib/files/scala-2.9.1.final.zip.

Вот примеры решения задачи 1A - Театральная площадь на обоих языках:

OCaml

let main () =
  let gr () = Scanf.scanf " %f" (fun i -> i) in 
  let n = gr () in
  let m = gr () in
  let a = gr () in
  let f x y = ceil (x /. y) in
  Printf.printf "%.0f\n" ((f n a) *. (f m a))
  ;;
let _ = main();;

Scala

object Main extends App {
 val Array(n, m, a) = readLine.split(" ").map(_.toLong)
 def roundUp(x: Long) = x / a + (if (x % a > 0) 1 else 0)
 println(roundUp(n) * roundUp(m))
}

Как на OCaml, так и на Scala я пишу впервые — более элегантные решения прошу в комментарии :)

MikeMirzayanov

Комментарии (35)

Показать архивные | Написать комментарий?

caustique

13 лет назад, # |

+13

Есть ли надежда, что когда-нибудь появится Microsoft Visual C# ?

→ Ответить

RodionGork

13 лет назад, # ^ |

И ещё было такое пожелание - Java до 7 версии обновить... Уже 1-й апдейт вышел... ;-)

niyaznigmatul

+18

я думаю, что лучше не обновить, а сделать как новый язык

Да, однозначно надо оба держать, я плохо выразил мысль - спасибо!

-13

А будут ли когда-нибудь воплощены масштабирующие коэффициенты для лимита времени (и может, памяти) применительно к каким-то языкам.

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

Не очень принципиально, какими в точности они будут - скажем, x10 по времени для питона и пхп, и x5 по памяти для скала...

daftcoder

По этому вопросу можно почитать эту дискуссию.

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

rexim

← Rev. 2 →

Спасибо вам большое! Я обожаю все функциональненькое. :) Не знаю, элегантно ли это, но на Scala можно написать еще так

SyFy	13 лет назад, # ^ \| +4 300 мс? Я-то думал Ruby\|Python медленные... =) → Ответить

Scala довольно быстрый язык, он статически типизируемый и запускается на JVM. В этих 300 миллисекундах в основном время запуска JVM, загрузка пачки классов.

На мой взгляд он быстрый если на нём писать так же как на Java. А если писать как на функциональном языке, время и память будут съедаться мегатоннами... %)

Scala позволяет в мгновение ока незаметно создавать горы ненужных объектов и производить уйму ненужных действий... ;-)

А компилируется эта программа на моей машине 5.945 секунд. >_<

SyFy	13 лет назад, # ^ \| 0 Надеюсь не под линуксом так долго?) → Ответить

Как раз таки под ним. :)

SyFy	13 лет назад, # ^ \| 0 нифигасе. настройки-то копать не пробовали? всякие там дев моды убрать или еще чего? или вас вполне такое время устраивает? =D → Ответить

Судя по тому что говорят в интернете, это достаточно распространенная проблема. И связана она с тем что Scala очень гибкий язык и за эту гибкость приходится платить временем компиляции.

Но мне это пока не мешает. Я чисто посмотреть скачал. И ничего сложного пока писать на Scala не собираюсь. :)

Там о-о-очень неторопливый компилятор, это правда... Непринципиально под чем - он сам по себе на java... ;-)

userlond

+14

>> Я обожаю все функциональненькое. :)
Предмет обожания для товарища rexim:

aqua4

Лично мое мнение, это было незачем. Но раз поставили, пусть будет на всякий случай.

Я бы не сказал что "незачем", но возможно многие пользователи сочтут что были более приоритетные нововведения, в т.ч. по языкам/компиляторам... ;-)

После контеста посмотрим, конечно, пытался ли кто-нибудь что-нибудь на этих двух отправить... %)

bjin	13 лет назад, # \| +6 Thanks for your great work → Ответить

alexey.shchepin

+10

Добавьте, пожалуйста, библиотеки nums и str, и обработку препроцессором camlp4o в командную строку для OCaml, чтобы она выглядела примерно так:
ocamlopt nums.cmxa str.cmxa -pp camlp4o solution.ml -o solution

ivan.popelyshev

В будущем можно добавить и статически типизируемый Boo, для .NET . Конечно это не приоритетно :)

avm

Не совсем понятно почему, но у меня зашло решение на OCaml с float: 934032.
Решение с обычным целым типом не прошло, то ли проверяющие машины 32-битные, то ли установленный OCaml 32-битный: 934031.
И почему-то решение долго работало (50ms), выглядит как-будто компилировалось в байт код с помощью ocamlc,
а не в машинный код с помощью ocamlopt.

Да, код отсюда при сабмите выдаёт 0, как при использовании ocamlc. Замените, пожалуйста, на ocamlopt.

avm	13 лет назад, # \| 0 Забавно, решение 952545 работает в 9 раз дольше, если его компилировать с помощью ocamlc, вместо ocamlopt. Я тестировал на локальном компьтере на большом произвольном тесте из совершенно случайных чисел. → Ответить

ocamlopt работает на windows, если ставить так http://protz.github.com/ocaml-installer/ (level 2)?

avm	13 лет назад, # ^ \| 0 Спасибо за ответ. Увы, я тестировал дома под Gentoo. A деталей установки Ocaml под Windows, я к сожалению, не знаю. → Ответить

Gassa

У меня работает. Правда, инсталлятору фи. (1) Он при некоторых условиях затирает системную переменную PATH без возможности отката. Возможно, потому, что другой инсталлятор ocaml был не таким наглым и приписал себя в конец этой переменной, а не в начало? (Upd: у меня было просто слишком много путей.) (2) А при повторном запуске, если стоит галочка про установку emacs, инсталлятор заново выкачивает 50 мегабайт его дистрибутива из интернета.

Ему нужны mingw в путях и переменная среды, указывающая на его библиотеки, в моём случае получилось так:
FLEXLINKFLAGS="-LC:\tools\msys\lib -LC:\tools\msys\lib\gcc\mingw32\4.6.1\"

И, действительно, упомянутая программа, скомпилированная ocamlopt, работает 0.25 секунды, а скомпилированная ocamlc больше двух секунд.

Кстати, в системе у этого решения стоит время 220 мс. Значит ли это, что ocamlopt на Codeforces уже установлен и работает?

Да, я позавчера-вчера все сделал. Очень удачно сохранил path перед началом инсталляции :)

А nums, str и camlp4o всё ещё не подключены. Ещё, возможно, хорошо бы -unsafe добавить, оно отключает проверки вроде выхода за границы массива, и немного добавляет производительности.

avm	13 лет назад, # ^ \| 0 На сфере пишут, что можно запускать препроцессор локально у себя на компьютере, а потом посылать в систему файл после препроцессинга. Возникает вопрос: будет ли такие действия нарушать правила CodeForces? → Ответить

Можно, но это неудобно, и не вижу причин почему бы этого не делать автоматом при компиляции.

avm	13 лет назад, # ^ \| 0 Система игнорирует код возврата для решения на Ocaml. 964094 получает WA, вместо RE. Аналогичное решение на С++ получает RE. Кроме того в submit форме написана версия 3.11, а мне вчера тестовое решение, вывело версию 3.12.1. → Ответить

mysterion

11 лет назад, # |

А есть надежда, что версия Scala обновится до 2.10.*?

Сегодня на контесте очень не хватало мутабельного TreeSet :)

i516739

5 месяцев назад, # |

Thank you!

Блог пользователя MikeMirzayanov

OCaml

Scala