Курс «Introduction to functional programming in OCaml»

Интересно, кто это отслеживает темы, созданные анонимусом.

Нормальный вводный курс, подтверждаю.

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

Офигеть! Во франции курс по окалму запустили, а на ЛОРе уже про это трындят.

тогда уж смотреть куасеру, на скале лабать.

Там теперь только платно.

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

4.2.

поищи в моих темах как enroll делается без сертификата.

Кстати, уже давно обещали поддержку SMP, есть ли какие сдвиги?

А еще есть Financial Aid!

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

там надо доказывать что ты не верблюд... зачем...?

лучше договориться с конторой, если прям денег жалко.

еще можно смотреть edx и тоже лабать на скале.

https://www.edx.org/course/reliable-distributed-algorithms-part-1-kthx-id2203-1x

https://www.edx.org/course/reliable-distributed-algorithms-part-2-kthx-id2203-2x

Не надо доказывать, это не edx же :)

Meet the instructors
Seif Haridi

The course will use the programming language Scala

Странно, что не OZ.

Надо же. Мою ненужную новость о ненужном курсе про ненужный язык подтвердили.

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

Нахрена запятая?

ну блин, одерски ВС 3 хрена с горы. прям даже не знаю ))

но тоже прикольно, да, можно глянуть.

зы. $49? так мы вроде чтоб без вот этого?

3 хрена с горы

Ага. Один из которых — всего лишь соавтор CTMCP (https://www.info.ucl.ac.be/~pvr/book.html)

Можно же бесплатно курс пройти, без бумажки в конце.

ха, действительно. thanx.

Или с бумажкой, но не verified?

Week 0: Introduction and overview
Week 1: Basic types, definitions and functions
Week 2: Basic data structures
Week 3: More advanced data structures
Week 4: Higher order functions
Week 5: Exceptions, input/output and imperative constructs
Week 6: Modules and data abstraction

Шесть недель на то, что можно по докам изучить за несколько вечеров. Всё это на кривом английском и с разжёвыванием элементарных вещей на уровне «для дебилов». Отличный план.

Всё это уже обсудили в предыдущей теме.

Расскажи по-хардкору чем так интересен окамл, что до сих пор жив в свете всяких хаскелей и агд?

маленкий рантайм, годится для ембедеда, внезапно.

а camlp4 и p5 ваще вроде без аналогов.

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

А это в реалтайме происходит, или можно время просмотра выбрать?

Раз в неделю выкатывают лекции и контрольный материал к ним. Делай в любое удобное время, главное — успеть засабмитить домашку до дедлайна. Есть форум, где довольно оперативно отвечают авторы и/или технический персонал. На последней неделе дают контрольное задание по всему материалу.

Вот это странно. Я как-то давно, в начале 2000х, задавал на окамловскром форуме вопрос про портирование языка на КПК (тогда это еще было актуально), так Леруа лично ответил, что там стека маловато, «не взлетит»...

А денег стоит? Я что-то в регистрационной форме ничего про это сразу не нашел.

Платный только если нужен https://www.edx.org/verified-certificate

Можешь проходить и бесплатно.

надо собрать ocamlrun (или как его там..?) под целевую платформу, у меня был арм, и окамловый же байткод в нем запускать.

отлично взлетает :)

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

It provides a set of OCaml libraries that are used to define grammars as well as loadable syntax extensions of such grammars

Есть этому аналоги, в том числе один крутой язык, который сейчас активно пилится =)

Roost, что ли?

Есть этому аналоги, в том числе один крутой язык, который сейчас активно пилится =)

это например?

Судя по плану, куда интереснее coursera/Programming languages. Не только ML, не только ФП.

А ML это не только ФП.

(require 'tuareg)

tuareg + merlin

уже все либы/пакеты «из коробки» есть в нативном виде, или всё еще надо смотреть что за «борщ» ты варишь: какие либы есть в «нативе», какие только в байткоде?

Но надо выполнить все задания.

Да фигня же.

А если не выполнить поставят на бабки или просто не дадут сертификат?

Если не выплнить, можно перенести дату и потом выполнить. А так да, просто не дадут ничего :)

Курсы на английском языке здесь, в России - это что, понты такие?

Предложи подобный на русском.

Кстати, на степике есть хашкель.

Ну и Financial Aid как-то не так стимулирует к изучению, нежели отданные деньги :)