AR
вот без дурацких типов бы еще и красота будет!
Size: a a a
2020 May 22
AR
(такое кстати по идее макросом несложно генернуть, но мне интересно, а в сообществе такое не обсуждается?)
PG
вот без дурацких типов бы еще и красота будет!
Тут как раз очень классные типы, всем бы таких
AR
не, спасибо, с типами уже есть окамл, я вот без типов хочу, слава эликсирам!
PG
Окамл с union types мало отличается от эликсира типизацией, только тайпчекер встроенный, а не диалайзер сбоку
AR
да до фига чем он отличается, конечно
AB
(такое кстати по идее макросом несложно генернуть, но мне интересно, а в сообществе такое не обсуждается?)
не обсуждается. два разных значения - две разных строки с матчем
AR
case rel do
{:pi, xs, _} -> Enum.map(xs, fn {_, x} -> x end)
{:sigma, _, rel} -> columns(rel)
{:sort, _, rel} -> columns(rel)
{:dedup, rel} -> columns(rel)
{:unioin, rel1, _} -> columns(rel1)
{:intersection, rel1, _} -> columns(rel1)
{:union, rel1, _} -> columns(rel1)
{:join, _, rel1, rel2} -> columns(rel1) ++ columns(rel2)
{:outer, _, _, rel1, rel2} -> columns(rel1) ++ columns(rel2)
end
AR
case rel do
{:pi, xs, _} -> Enum.map(xs, fn {_, x} -> x end)
{:sigma, _, rel} -> columns(rel)
{:sort, _, rel} -> columns(rel)
{:dedup, rel} -> columns(rel)
{:unioin, rel1, _} -> columns(rel1)
{:intersection, rel1, _} -> columns(rel1)
{:union, rel1, _} -> columns(rel1)
{:join, _, rel1, rel2} -> columns(rel1) ++ columns(rel2)
{:outer, _, _, rel1, rel2} -> columns(rel1) ++ columns(rel2)
end
вот было бы круто поменьше раз тут
columns(rel) написать....AB
и все в одну строку зафигачить?
AR
не обсуждается. два разных значения - две разных строки с матчем
плохо
AB
а чем плохо?
AR
не математичненько
AR
rhs один, а lhs разные
AR
фи
AB
обколются своими хаскелями да окамлами и приходять ныть в эликсир
V
А зачем ты создаёшь такую ситуацию?
V
Почему у тебя несколько lhs?
AB
как по мне, то выше указанный case где каждый «тип» отдельно - это самый каноничный и красивый вариант в понятиях эликсира. либо то же самое, но матчинг функциями
AR
V
А зачем ты создаёшь такую ситуацию?
что значит создаю? домен такой