Size: a a a

2018 February 21

Y

Yuuri in fprog_spb
Freedom is slavery
источник

λO

λeonid Onokhov in fprog_spb
Харпер то сечёт в ЯП
источник

AV

Alexander Vershilov in fprog_spb
Yuuri
Ну неправда всё-таки. Один тип - это скорее баш или тикль, где всё - строка.
тоже один тип, просто ADT
источник

Y

Yuuri in fprog_spb
λeonid Onokhov
type alias Field a = {
 value: a,
 type: String
 error: String
}
Окей, а словарик? Всё равно же как-то надо a в конкретный тип превратить.
источник

λO

λeonid Onokhov in fprog_spb
в тип превратишь по месту вызова
источник

Y

Yuuri in fprog_spb
Alexander Vershilov
тоже один тип, просто ADT
Где ADT?
источник

AV

Alexander Vershilov in fprog_spb
Yuuri
Где ADT?
в динамических языках type universe это один единственный алгебраический тип данных
источник

AV

Alexander Vershilov in fprog_spb
в tcl/bash ещё и один конструктор, в R, python, clojure - больше
источник

Y

Yuuri in fprog_spb
Где определён тип universe?
источник

AV

Alexander Vershilov in fprog_spb
а это чятик fprog_spb, а то я испугался
источник

AV

Alexander Vershilov in fprog_spb
type universe - множество типов доступных в языке
источник

AV

Alexander Vershilov in fprog_spb
в случае динамических языков это 1 тип
источник

AV

Alexander Vershilov in fprog_spb
где определен - зависит от, компилятор/rts/анализатор и т.д.
источник

Y

Yuuri in fprog_spb
λeonid Onokhov
в тип превратишь по месту вызова
Ммм, не понимаю. Вот хочу serialize : Dispatcher -> Field a -> String, как должен быть устроен Dispatcher? Map String (??? -> String)
источник

AV

Alexander Vershilov in fprog_spb
человеку пишущему код на этом языке это не важно
источник

AV

Alexander Vershilov in fprog_spb
если что я не про всю дискуссию в целом, там я начала не видел
источник

AV

Alexander Vershilov in fprog_spb
т.к. выше я слабо понимаю осмысленность вопроса
источник

Y

Yuuri in fprog_spb
Ну если Dispatcher магическим образом встроен в язык, то окей, но вопрос про Elm сотоварищи был
источник

λO

λeonid Onokhov in fprog_spb
Yuuri
Ммм, не понимаю. Вот хочу serialize : Dispatcher -> Field a -> String, как должен быть устроен Dispatcher? Map String (??? -> String)
type alias Dispatcher a = { dispatch: a -> String }
источник

AV

Alexander Vershilov in fprog_spb
некогерентно!!
источник