DT
падажжи, ты начал с того, чтоб “убарть ограничения”, а теперь выяснилось что ты нам новых принес? 😅
Size: a a a
2019 November 22
KN
оуоуоу, какие новые ограничения?
KN
Это новые возможности!
KN
Теперь интерфейсы можно имплементировать почти где угодно
KN
А вообще по части крутых идей "потырить" можно смотреть на синтаксис сервера protobuf, там прикольные штуки есть
DT
оуоуоу, какие новые ограничения?
ну что ISP нам сразу запрещает всякое
KN
Эм... ISP - это просто описание поведения объекта за счёт интерфейсов
KN
Можно назвать это теми же "категориями" для утиной типизации)))
KN
если в JS используется какой-нибудь
if (typeof obj.method === 'function' && typeof obj.something === 'function') { ... }, то за счёт интерфейсов это превращается в instanceofKN
Так и в gql почти тоже самое, но только то, что касается возврата
t
здрасьте, это чатик про теорию категорий?
DT
это личка 🙂
KN
Короче, это хрень
KN
Главное чтобы дженерики добавили)))
KN
Но не добавят, т.к. @E1Goncharov хорошо аргументировал всё, когда мы общались на эту тему. SDL - это просто репрезентация системы типов, а не адекватный язык
DT
Непонятно, почему нельзя указать «примитивный» скалярный тип для кастомного скалярного типа (например сказать явно, что ISO8601Date это строка, а не float)
KN
именно это я и подразумевал под "алгебраическими типами" =)
KN
Ну и ещё плюс переопределение по LSP (ослабление/усиление)
KN
Сейчас решил поиграться с JS реализацией... Какая жесть)
Никаких ошибок. Это нормально?
interface Example {
field: [String]
}
type Query implements Example {
field: Int
}Никаких ошибок. Это нормально?