Size: a a a

2020 October 02

Y

Yuuri in fprog_spb
Вообще всё, что хочется рассказать, в один доклад явно не влазит
источник

Y

Yuuri in fprog_spb
Хотя Лейле так даже лучше 😏
источник

Y

Yuuri in fprog_spb
* Чего нетъ
– multicore 😕
– ad-hoc полиморфизм ☹️
– либы 😖
источник

Y

Yuuri in fprog_spb
Kakadu
Я подумаю чуть-чуть.
Вы в каком порядке хотите излагать?
Это хороший вопрос, наверно, надо набросать слайды по этим темам и подумать, как их лучше упорядочить
источник

AT

Alexander Tchitchigi... in fprog_spb
Yuuri
«Для хаскелиста» содержание примерно такое:
* Что нового
– мутабельность
– рекорды без конструкторов и с duplicate fields
– модули и сигнатуры, функторы, модули первого класса
– полиморфные варианты
– объекты, структурная типизация
* Что похожего
– правила кастомных операторов
– инфраструктура: пакетные менеджеры, системы сборки, документация, юнит-тесты
– ppx vs TH
– do-нотация vs let-нотация
@Kakadu18 что ещё посоветуете?
Равенство. Экзистенциальные типы, если влезут.
источник

AT

Alexander Tchitchigi... in fprog_spb
Yuuri
* Чего нетъ
– multicore 😕
– ad-hoc полиморфизм ☹️
– либы 😖
Multicore же обещают скоро доделать, нет? 😊
источник

AT

Alexander Tchitchigi... in fprog_spb
Yuuri
«Для хаскелиста» содержание примерно такое:
* Что нового
– мутабельность
– рекорды без конструкторов и с duplicate fields
– модули и сигнатуры, функторы, модули первого класса
– полиморфные варианты
– объекты, структурная типизация
* Что похожего
– правила кастомных операторов
– инфраструктура: пакетные менеджеры, системы сборки, документация, юнит-тесты
– ppx vs TH
– do-нотация vs let-нотация
@Kakadu18 что ещё посоветуете?
Стандартная либа vs. Batteries vs. Core или что там.
источник

Y

Yuuri in fprog_spb
У разработчиков окамла традиция. Каждый год они собираются вместе и обещают скоро доделать мультикор
источник

Y

Yuuri in fprog_spb
– GHCJS vs ReScript, во =)
источник

AT

Anton Trunov in fprog_spb
Yuuri
У разработчиков окамла традиция. Каждый год они собираются вместе и обещают скоро доделать мультикор
В этот раз дело начинает сдвигаться с мертвой точки)
источник

AT

Anton Trunov in fprog_spb
Yuuri
– GHCJS vs ReScript, во =)
js_of_ocaml бы тоже)
источник

Y

Yuuri in fprog_spb
Но в этих темах я совсем ненастоящий сварщик, только если «а ещё вот такое есть, за деталями вон туда»
источник

I

Igor in fprog_spb
Yuuri
* Чего нетъ
– multicore 😕
– ad-hoc полиморфизм ☹️
– либы 😖
> ad-hoc полиморфизм ☹️

На википедии в эту квалификацию входит еще и перегрузка методов,
Но вы наверное не об этом 🤔
источник

Y

Yuuri in fprog_spb
Методов? overloading или overriding?
источник

I

Igor in fprog_spb
источник

AT

Alexander Tchitchigi... in fprog_spb
Yuuri
Методов? overloading или overriding?
Overriding. Переопределение, да.
источник

Y

Yuuri in fprog_spb
В окамле этого нет
источник

I

Igor in fprog_spb
Yuuri
В окамле этого нет
А вы этого хоте, что бы как в java?
источник

AT

Alexander Tchitchigi... in fprog_spb
Самый ad-hoc'ный ad-hoc — это method overriding, конечно. При наследовании. 😃
источник

Y

Yuuri in fprog_spb
Нет, мы хотим тайпклассы или трейты, как в Haskell/Scala/Rust
источник