Функциональный язык с расширяемыми записями

[metaclass]

А вот что у нас есть из функциональщины со статической типизацией, но чтобы типы записей не нужно было объявлять заранее вообще, но при этом они бы свободно участвовали в выводе типов?

Очень уж удалбывает при работе с БД и оперденями необходимость объявлять типы. Использовать кортежи неудобно - без имен не поймешь что где в кортеже из 20-30 полей.
Приходится использовать кложурь и мапы с keyword-ключами и следить за собственной головой при рефакторингах, чтобы не поломать все нахрен, т.к. проверок статических там вообще никаких нет.

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

PS: Язык должен быть с иммутабельностью, хотя бы как в clojure и со статической типизацией. Зачем вы жабаскрипт вспоминаете, если я явно написал, что clojure напрягает отсутствием статического анализа кода?

Comments

[denisioru.livejournal.com]

наброшу, пожалуй. Javascript :))))))))

А если по теме C# - есть dynamic жэ. Я даже видел ORM на этом.

[denisioru.livejournal.com]

По сути, те же слово "dynamic" это синтаксический сахар. Внутри оно dictionary[string,object] во всеми вытекающими.

[gds.livejournal.com]

дык окамл же. Только там расширяемые записи называются объектами почему-то, но это не суть важно.

[palm-mute.livejournal.com]

в Скале есть structural typing

[xeno-by.livejournal.com]

Тайп провайдеры не канают?

[alexott.livejournal.com]

typed clojure? :-)

[ko444evnik.livejournal.com]

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

[permea-kra.livejournal.com]

В цацкеле можно применить трюк associated type sinonyms. Примерно так (синтаксис мог наврать)

{-# Language TypeFamilies #-}

class HasName hn where
 type NameOf hn :: *
 getName :: hn -> NameOf hn
 setName :: hn -> NameOf hn -> hn

instance HasName String  where
 type NameOf hn = String
 getName = id
 setName _ n = n

Но генерить это руками - это печаль.

[stdray.livejournal.com]

а как далеко надо анонимные типы пробросить?

[isorecursive.livejournal.com]

Ur/Web же: http://www.impredicative.com/ur/
http://www.impredicative.com/ur/tutorial/tlc.html

[osdm.livejournal.com]

А что мешает генерировать типы по БД автоматом? Ровно для этой цели ORM-ы придумали, их к C# тучи.

[levgem.livejournal.com]

наверное нужно, что бы статический язык имел возможность быстро и грязно чем угодно генерироваться.
Т.е. на старте запускаемся, коннектимся к БД, ищем описание таблицы, генерируем код, потом дергаем ручку, компилим и дальше всё чисто статически.

[thesz.livejournal.com]

HList: http://hackage.haskell.org/package/HList-0.2.3

http://hackage.haskell.org/packages/archive/HList/0.2.3/doc/html/Data-HList-Record.html

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

[triampurum.livejournal.com]

Ur/Web (http://blog.ezyang.com/2012/07/polymorphic-variants-in-urweb/?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed%3A+ezyang+%28Inside+245s%29).

[qehgt.livejournal.com]

Хм.... А разве DBML + LINQ to SQL - это не то, что надо? Накидал таблиц, оно по ним классы сгенерировало, после этого на этапе компиляции всё проверяется.

Или тебе не для БД, а "вообще"?

[thedeemon.livejournal.com]

Я ему:

let show x = Printf.printf "Name: %s, Age: %d, Mad: %b" x#name x#age x#mad;;
let oleg =   object method name = "Oleg"   method age = 42 method mad = true end;;
let oksana = object method name = "Oksana" method age = 21 end;;
show oleg; show oksana;;

а он мне:

File "main.ml", line 114, characters 16-22:
Error: This expression has type < age : int; name : string >
       but an expression was expected of type
         < age : int; mad : bool; name : string; .. >
       The first object type has no method mad

Статическая утиная типизация в действии. окамл.

[berezovsky.livejournal.com]

обсудите eval в следующем набросе

[Игорь Петров (from livejournal.com)]

SML
gist.github.com/2964305
Также:
hackage.haskell.org/package/has
Пока нужно объявлять поля, но в новых ghc есть типы-строки, которые эту проблему устраняют.

[Денис Степаненко (from livejournal.com)]

Nemerle?