Т8
Интерфейс является типом или категорией ?
Не владею терминологией, но, наверное, тип. В данном случае дженерик
Size: a a a
2020 April 29
DB
Т-34 85
Не владею терминологией, но, наверное, тип. В данном случае дженерик
Что бы нечто являлось монадой, это нечто должно быть парой тип+функция над типом и ещё там пару свойств(то есть должно быть моноидом), я и спрашиваю, интерфейс является типом ?
Т8
Что бы нечто являлось монадой, это нечто должно быть парой тип+функция над типом и ещё там пару свойств(то есть должно быть моноидом), я и спрашиваю, интерфейс является типом ?
Интерфейс - это тип. "Функция над типом" означает "функция, принимающая и возвращающая инстанс типа"?
DB
Т-34 85
Интерфейс - это тип. "Функция над типом" означает "функция, принимающая и возвращающая инстанс типа"?
Что бы интерфейсу являться типом, нам нужно уметь сконструировать его инстанс, вы можете создать инстанс интерфейса ?
I
Т-34 85
Является ли IObservable<T> монадой или близкой к ней аналогией?
Функции с сигнатурами
есть? (или сможешь написать сам)
Законы на них выполняются?
Если да - то монада
T -> IObservable<T>IObservable<A> -> (A -> IObservable<B>) -> IObservable<B>есть? (или сможешь написать сам)
Законы на них выполняются?
Если да - то монада
Т8
Что бы интерфейсу являться типом, нам нужно уметь сконструировать его инстанс, вы можете создать инстанс интерфейса ?
Аа, вот такая терминология... Окей, буду знать. Тогда интерфейс - не тип, а категория?
DB
Функции с сигнатурами
есть? (или сможешь написать сам)
Законы на них выполняются?
Если да - то монада
T -> IObservable<T>IObservable<A> -> (A -> IObservable<B>) -> IObservable<B>есть? (или сможешь написать сам)
Законы на них выполняются?
Если да - то монада
Приведение типов - функтор ?
I
а х_й его знает 🌚
Т8
Функции с сигнатурами
есть? (или сможешь написать сам)
Законы на них выполняются?
Если да - то монада
T -> IObservable<T>IObservable<A> -> (A -> IObservable<B>) -> IObservable<B>есть? (или сможешь написать сам)
Законы на них выполняются?
Если да - то монада
Не понимаю этот синтаксис
DB
а х_й его знает 🌚
Не думаю что можно
Interface -> interface, в этом и проблемаI
Т-34 85
Не понимаю этот синтаксис
иди учи значит, а то морфизмы читать не может, а уж к монадам полез
Т8
Что бы интерфейсу являться типом, нам нужно уметь сконструировать его инстанс, вы можете создать инстанс интерфейса ?
Инстанс интерфейс а нельзя, конечно
А если IObservable<> переделать в неабстрактный класс?
А если IObservable<> переделать в неабстрактный класс?
Dv
Что бы интерфейсу являться типом, нам нужно уметь сконструировать его инстанс, вы можете создать инстанс интерфейса ?
Я могу, а зачем?
Т8
Он тоже нащупывает аналогии ФП фич в C#?
DB
Я могу, а зачем?
Научи
Т8
Я могу, а зачем?
Странно, вроде ты не Линус Торвальдс
V
Т-34 85
Странно, вроде ты не Линус Торвальдс
Ему недалеко до него
Т8
Ему недалеко до него
Это верно...