SM
я что то такое нагуглил https://github.com/chrisdone/dynamic
выглядит интересно, не знал что хаскель так умеет :)
выглядит интересно, не знал что хаскель так умеет :)
Size: a a a
2020 February 01
AV
Есть ещё Data.Dynamic, но это слегка другое
AV
Создаётся universe тип (общее представление для любого значения "динамического типа"), которое отличается тегом. В haskell тег это просто номер конструктора
M
https://github.com/chrisdone/dynamic/blob/master/src/Dynamic.hs#L79-L86 - именно то о чём я говорил
Такое может любой типизированный ЯП с taggad и даже без tagged unions. И называть это Dynamic имхо некорректно. Это Variant. Такое было еще в бейсике, такое есть в C++ (std::variant), да собственно в любом яп где есть десериализация JSON к примеру
AV
Корректно
AV
Да, такое может любой ЯП
M
Корректно
Я могу использовать любой прямо тип там? Нет, только вполне ограниченный сабсет
AV
В динамическом языке ты не можешь использовать любой тип прямо там
AV
Т.к. все типы описываются одним фиксированным сабсетом
M
В динамическом языке ты не можешь использовать любой тип прямо там
могу)
AV
Не можешь, у тебя вообще нет "любого типа"
AV
У тебя есть единственный тип строящийся из этого variant или dynamic, и других нет
M
Советую почитать чем отличается тот же std::variant от std::any с C++. Многое проясниться
AV
Печалька..
M
теггированный тип c ограниченными вариантами мало имеет чего общего с динамической типизацией
AV
Я знаю чем отличается std::variant от std::any, и чем отличается Dynamic приведённый выше от Data.Dynamic (hint: ровно тем, же чем std::varaint от std::any). При этом я вам написал совсем про другое
AV
Много, "динамический" тип в любом динамическом языке реализован как тегированный тип с ограниченными вариантами
E
AV
Если вы хотите сказать, что это не так, то можете предложить для рассмотрения язык, в котором это не так.