Y
Size: a a a
2020 November 28
к
то есть в хаскеле
есть библиотека с конкретным типом
type X = Parser ...
f :: Char -> X ()
наш проект
type Y = ReaderT e X
g :: Y ()
g = lift f =<< ask
в классе конкретный тип и конкретные функции с ним
а теперь какой-нибудь оопшный язык
class X {
f : Char -> ()
}
и наш проект
class Y extends X {
v : Char
g : ()
g = f(v)
}
есть библиотека с конкретным типом
type X = Parser ...
f :: Char -> X ()
наш проект
type Y = ReaderT e X
g :: Y ()
g = lift f =<< ask
в классе конкретный тип и конкретные функции с ним
а теперь какой-нибудь оопшный язык
class X {
f : Char -> ()
}
и наш проект
class Y extends X {
v : Char
g : ()
g = f(v)
}
JS
ООП класс = интерфейс + тип
это такой агрегат. у нас просто интерфейс и тип отдельно управляются
это такой агрегат. у нас просто интерфейс и тип отдельно управляются
JS
я не возражаю, а поясняю (как мне кажется)
к
https://gist.github.com/kana-sama/9185b30b45bd9817f11361e424a8abc7
игрался я все с зависимыми каиндами, игрался, и понял что отстуствие замыканий на тайплевеле это все таки огромная проблема, потому что Mult_Commute уже так легко не написать, нужна типо-лямбда
игрался я все с зависимыми каиндами, игрался, и понял что отстуствие замыканий на тайплевеле это все таки огромная проблема, потому что Mult_Commute уже так легко не написать, нужна типо-лямбда
MK
https://gist.github.com/kana-sama/9185b30b45bd9817f11361e424a8abc7
игрался я все с зависимыми каиндами, игрался, и понял что отстуствие замыканий на тайплевеле это все таки огромная проблема, потому что Mult_Commute уже так легко не написать, нужна типо-лямбда
игрался я все с зависимыми каиндами, игрался, и понял что отстуствие замыканий на тайплевеле это все таки огромная проблема, потому что Mult_Commute уже так легко не написать, нужна типо-лямбда
@systemspace ;)
a
как раз сегодня с этим игрался и поэтому твоё сообщение немного криповое вышло
AA
Explicit is better than implicit
6 ошибок в слове хуже
MK
как раз сегодня с этим игрался и поэтому твоё сообщение немного криповое вышло
Я к тому что ты сегодня высказывался на тему "что-то кроме простой сигмы"
a
Я к тому что ты сегодня высказывался на тему "что-то кроме простой сигмы"
а, славно
к
https://gist.github.com/kana-sama/9185b30b45bd9817f11361e424a8abc7
игрался я все с зависимыми каиндами, игрался, и понял что отстуствие замыканий на тайплевеле это все таки огромная проблема, потому что Mult_Commute уже так легко не написать, нужна типо-лямбда
игрался я все с зависимыми каиндами, игрался, и понял что отстуствие замыканий на тайплевеле это все таки огромная проблема, потому что Mult_Commute уже так легко не написать, нужна типо-лямбда
https://gist.github.com/kana-sama/9185b30b45bd9817f11361e424a8abc7
но проблема вроде бы чисто синтаксическая, то есть просто вместо удобного Cong (\x -> f x)
нужно писать N своих функций вида \Refl -> Refl
но проблема вроде бы чисто синтаксическая, то есть просто вместо удобного Cong (\x -> f x)
нужно писать N своих функций вида \Refl -> Refl
