Осталось 2 недели до конца OCaml MOOC

Неплохое введение в Окамл, да.

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

Ага, редактор там глюкавый. Иногда после нажатия на «Check & Save» оно сбрасывает состояние редактора до дефолта)

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

В курсах по изучению языков вообще мало смысла, особенно если в них объясняют только самые основы, обходя все вопросы реализации языка, подводные камни и прочее.

P.S. В треде запрещено отписываться C++-фанбоям и прочим инвалидам по интеллекту.

Я В ДОМИКЕ

Когда в камле запилят полноценный ad-hoc полиморфизм? Меня запарило писать /. вместо / и List.map вместо просто map.

В треде запрещено отписываться C++-фанбоям и прочим инвалидам по интеллекту

Смотри-ка, одни фанбои запрещают что-то другим фанбоям.

В курсах по изучению языков вообще мало смысла

Это не курс по изучению языков.

Да хоспаде, я туториал по окамлу прочитал 5 лет назад. А толку? Нихрена не помню всё равно.

Смысл курсов (по крайней мере для меня) порешать задачи. Чтобы при этом дедлайн попинывал.

обходя все вопросы реализации языка

Для этого есть курсы по компиляторам.

Но английский у тамошних вещателей адовый

Субтитры есть.

Смысл курсов (по крайней мере для меня) порешать задачи. Чтобы при этом дедлайн попинывал.

Говно там задачи. Напиши компилятор си на окамле с ллвм, вот тебе и задача. Чему ты в этом курсе научился? Использовать паттерн матчинг и мап/редьюс?

компилятор си на окамле с ллвм

Задача далека от учебной. Подразумевает одновременное использование знаний из нескольких областей, здесь трудно выделить какие-то базовые техники/методы/принципы.

И вообще:

Лично мне понравилось. А хейтеры пусть хейтят дальше.

Задача далека от учебной.

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

6 недель тебя учили глотать а не сплевывать... и ты научился!

Открой для себя sicp

Куда конкретно смотреть, чтобы найти там «компилятор си на окамле с ллвм».

Открой для себя sicp.

На какой странице SICP пишут компилятор Си в llvm на окамле?

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

Я сам книгу по OCaml читал, даже что-то понял, но сейчас уже опять забыл.

А что касается курсов, то зачем они вообще? Почему просто не сделать онлайновую проверялку решений с форумом?

Типа «упражнение 1: напиши hello world», и тд

Там есть проверялка решений и форум. Пользуйся только ими. Видеолекции смотреть никто не заставляет, можешь быстро по слайдам освежить знания. Или доки сторонние читать.

Там есть проверялка решений и форум. Пользуйся только ими

Это работает без регистрации? Ты говоришь, что регистрация закрыта.

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

Первые лекции у них хорошо мотивируют, мне аж захотелось всё забыть и выучить окамл. Так что не стал дальше смотреть.

А, ты хочешь self-paced course.

А, ты хочешь self-paced course.

Ну да. Может я всё за три дня сделаю? Зачем тогда растягивать на месяц.

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

http://goo.gl/LsGgqr

хейтеры пусть хейтят дальше

OCaml-hater

Когда в камле запилят полноценный ad-hoc полиморфизм?

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

В камле целые числа unboxed. Всё остальное, в частности, float, boxed. Различие в арифметических операторах это отражает. Чтобы ты понимал, где у тебя происходит boxing.

Впрочем, можешь запилить свой любимый at-cock полиморфизм и в OCaml, если тебе неймётся: http://okmij.org/ftp/Computation/typeclass.html

Почему у любителей всякой якобы-ФП параши вроде Окамла и Скалы всегда так бомбит пердак от Хаскела?

Различие в арифметических операторах это отражает. Чтобы ты понимал, где у тебя происходит boxing.

Сдается мне, причина не в этом (это вообще деталь реализации), а тривиально в системе типов. Чтобы, грубо говоря, тип float -> float -> float мог выводиться.

Вон у SML-щиков различия нет, отчего они страдают.

Чтобы у тебя в ответ бомбило от нас :D

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

Тем не менее, Haskell сейчас более распространён чем OCaml.

В камле целые числа unboxed. Всё остальное, в частности, float, boxed. Различие в арифметических операторах это отражает. Чтобы ты понимал, где у тебя происходит boxing.

Если тип переменной известен во время компиляции, подстановка нужно функции так же может быть выполнена во время компиляции. Boxing тут совершенно побоку.

Впрочем, можешь запилить свой любимый at-cock полиморфизм и в OCaml, если тебе неймётся: http://okmij.org/ftp/Computation/typeclass.html

Охлади пу^Hыл.

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

Тем не менее, Haskell сейчас более распространён чем OCaml.

Как ты думаешь, что больше распространено: точки общепита или софтверные конторы?

Логика, я думаю, такая. Там есть форум. На котором на протяжении курса присутствует staff. staff также следит за работоспособностью чекера. staff не может быть вечно, в любое время.

Как ты думаешь, что больше распространено: точки общепита или софтверные конторы?

Ты полтора месяца это выдумывал, мистер скоростной?

Не всех мамка борщом кормит, у кого-то и дела есть.

К сожалению, OCaml это язык оторванный от реальности без какой-либо серьезной инфраструктуры, но с него можно относительно легко перейти на F#, поэтому нельзя сказать что время совсем уж зря потрачено.