AL
Size: a a a
2020 July 19
MA
Спасибо!
ИФ
бдыщ
отличный выстрел!
OR
Того и гляди типов меньше станет
T
Я все пропустил, плак плак
AC
А почему не рассматривать типы как дополнительную документацию к коду? Глядя на сигнатуру функции с аннотациями типов значительно проще понять что она делает
Функция принимает Entity возвращает User
AC
Есть потуги всякие интересные, JIT опять же, но все это заметно слабее чем O3 по полной программе
JIT про другое - это перевод байткода в машинный
РБ
Всем привет, никто случайно с Asterisk AMI не работал из кложи?
AC
Надо понимать что языки с динамической типизацией вроде все ещё принципиально хуже оптимизируются
Там дело скорее не в типах, а в том что языки которые мы относим к динамическим все работают через исполнение интерпретированного байткода в VM, выделяют память на хипе, не имеют доступ к стеку и почти все вызовы в них вынуждены быть виртуальными
AC
Типы могут помочь только с последним пунктом
AC
Но если посмотреть на современное ООП - там очень часто оперируют базовыми классами или интерфейсами а имплементации подгружают во время исполнения через DI - так что вызовы все равно остаются виртуальными
VL
Но если посмотреть на современное ООП - там очень часто оперируют базовыми классами или интерфейсами а имплементации подгружают во время исполнения через DI - так что вызовы все равно остаются виртуальными
Хаха
AC
Хаха
Ну вроде спринг ребята так и работают не?
AC
В Objective C класс кластеры - там один бог знает какой конкретный тип инстанцируется при создании массива например
AO
Функция принимает Entity возвращает User
А как ты узнаешь, что она возвращает User? У тебя на выходе будет какая-то мапа и тебе придётся в репле смотреть что это за мапа. У меня претензия к тому, что нельзя заранее сказать что за мапа вернётся, какая у неё структура, вложенность и т.д. Можно сделать
(defrecord User [...]), и даже написать (defn auth ^User [...] (->User ...)), но оно почему-то всё равно не проверяется в рантайме и я не видел на гитхабе что бы кто-то так делалAC
А как ты узнаешь, что она возвращает User? У тебя на выходе будет какая-то мапа и тебе придётся в репле смотреть что это за мапа. У меня претензия к тому, что нельзя заранее сказать что за мапа вернётся, какая у неё структура, вложенность и т.д. Можно сделать
(defrecord User [...]), и даже написать (defn auth ^User [...] (->User ...)), но оно почему-то всё равно не проверяется в рантайме и я не видел на гитхабе что бы кто-то так делалНу на деле тебе тип с сотней полей тоже не сильно поможет. Тем более этот User может на деле оказаться сабклассом User
AC
Понять что метод вернул корректное значение все равно будет сложно
VL
А как ты узнаешь, что она возвращает User? У тебя на выходе будет какая-то мапа и тебе придётся в репле смотреть что это за мапа. У меня претензия к тому, что нельзя заранее сказать что за мапа вернётся, какая у неё структура, вложенность и т.д. Можно сделать
(defrecord User [...]), и даже написать (defn auth ^User [...] (->User ...)), но оно почему-то всё равно не проверяется в рантайме и я не видел на гитхабе что бы кто-то так делалТак это решается использованием спец. Если мапа подходит пл спеке, работаем дальше!
VL
В твоей системе типлв придеться в рантайме также проверять
VL
Если мы говорим о входным данных извне