Критика Scala
Dec. 2nd, 2013 04:50 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
metaclasshttp://overwatering.org/blog/2013/12/scala-1-star-would-not-program-again/
Язык с нормальным балансом статических проверок типов и динамической типизации вида "нахрен объекты, используем мапы" наверно, еще не скоро появится.
Язык с нормальным балансом статических проверок типов и динамической типизации вида "нахрен объекты, используем мапы" наверно, еще не скоро появится.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2013-12-02 02:28 pm (UTC)no subject
Date: 2013-12-02 02:38 pm (UTC)no subject
Date: 2013-12-02 03:10 pm (UTC)no subject
Date: 2013-12-03 07:29 am (UTC)no subject
Date: 2013-12-03 08:12 am (UTC)no subject
Date: 2013-12-03 08:15 am (UTC)no subject
Date: 2013-12-02 02:41 pm (UTC)no subject
Date: 2013-12-20 10:55 pm (UTC)no subject
Date: 2013-12-02 02:41 pm (UTC)no subject
Date: 2013-12-02 02:50 pm (UTC)no subject
Date: 2013-12-03 12:00 pm (UTC)Правильно говорить — "биполярное аффективное расстройство типизации".
no subject
Date: 2013-12-02 03:54 pm (UTC)Мапы ещё хорошо бы иерархические, с переименованием, с синонимами, с ну и т.д.
no subject
Date: 2013-12-02 04:06 pm (UTC)не знаю, что там из этой затеи вышло
no subject
Date: 2013-12-02 05:33 pm (UTC)или контракты тривиальные типа бинарной сортировки и их в продакшене особо негде применить
или они сложно и долго вычисляются-проверяются и тормозят
и они делают бизнес-код жёстким, что совершенно ломает аджайл
no subject
Date: 2013-12-03 02:56 am (UTC)А язык с полным, а не кастрированным, глобальным выводом типов не подойдёт?
no subject
Date: 2013-12-03 04:54 am (UTC)no subject
Date: 2013-12-03 05:42 am (UTC)type hetero = Id of int | Weight of float | None of unit;;
let lst = (Id 8)::(Weight 88.82)::(Weight 33.3)::(None ())::(Id 234)::[];;
List.map
(fun x ->
match x with
| Id i -> Printf.printf "%d " i
| Weight w -> Printf.printf "%f " w
| None () -> Printf.printf "_ ") lst;;
Printf.printf "\n";;
компилируется и выдаёт
8 88.820000 33.300000 _ 234
no subject
Date: 2013-12-03 05:57 am (UTC)no subject
Date: 2013-12-03 07:06 am (UTC)http://caml.inria.fr/pub/docs/manual-ocaml-400/manual006.html#toc36
no subject
Date: 2013-12-03 07:30 am (UTC)no subject
Date: 2013-12-03 08:04 am (UTC)no subject
Date: 2013-12-03 07:06 am (UTC)no subject
Date: 2013-12-03 07:24 am (UTC)type A = {x: int; y: float};;
type B = {x: int; y: float};;
let var = {x = 5; y = 6.0};;
no subject
Date: 2013-12-03 07:37 am (UTC)Пересечения по полям записей вроде бы разрулили в последних версиях, но я не смотрел подробно. Там то ли по типам записи, то ли по типам того, что присовываем в качестве значений полей. Но не уверен, пока у меня работа на старом окамле, 3.12.1, а эти изменения -- уже 4ая версия (или только хотели в 4ую пихать? не знаю.).
Тем не менее, плохой тон, можно запутаться. Лучше ax ay / bx by, если записи разные.
Можно параметризовать запись, "type ('x, 'y) myrecord = { x : 'a ; y : 'b }", если по смыслу надо иметь разные типы.
Если же смысл/назначения x и y одинаковый, но хочется иметь структурную подтипизацию (добавлять-удалять поля), можно использовать записи со структурной подтипизацией, они есть в окамле, только какие-то уроды назвали их "объекты". Например, < x : int ; y : float ; z : bool > доводится до < x : int ; z : bool > (кое-где автоматически, кое-где через compile-time coercion).
no subject
Date: 2013-12-03 07:42 am (UTC)Остальные варианты не очень, потому что где-то в коде может быть объявлена запись и при совпадении будет очень муторно искать, где совпало.
no subject
Date: 2013-12-03 08:01 am (UTC)no subject
Date: 2013-12-03 07:05 am (UTC)А если нужно реально гетерогенное, без предварительных объявлений типов, можно скатиться в контролируемую (не "распространяющуюся как зараза по исходнику", в смысле) динамическую типизацию, есть у меня библиотечка cadastr.
(кстати, у камлоёбов есть чятик ocaml на conference.jabber.ru.)
no subject
Date: 2013-12-03 06:33 pm (UTC)no subject
Date: 2013-12-03 06:53 pm (UTC)