Мне нужно рантайм представление интерфейсов и проверка того имплементит ли объект интерфейс в смысле номинальной типизации

И как делаешь? Через аннотации?

И как делаешь? Через аннотации?

Нет, я полностью отказался от декораторов и рефлекта. Просто генерю на каждый интерфейс объект своего класса и потом мапу всех классов на реализованные мнтерфейсы. И трансформацией кода все instanceof заменяются на вызов кастомной функции которая сначала мнстансофом чекает а потом по таблице

Нет, я полностью отказался от декораторов и рефлекта. Просто генерю на каждый интерфейс объект своего класса и потом мапу всех классов на реализованные мнтерфейсы. И трансформацией кода все instanceof заменяются на вызов кастомной функции которая сначала мнстансофом чекает а потом по таблице

И получается сильно быстрее?

Я еще не доделал это до конца, но в целом в рантайме все проще и кода меньше и тп

Как минимум когда ты декарируешь класс его оборачивают в вызов промежуточной функции декоратора. У меня же нет

На обычный рантайм вообще никакого влияния, просто табличка сбоку лежит

Ну и просто по дефолту тайпа не умеет эмитить рефлект на все объекты и в принципе интерфейсы в рантайме не представлены, потому рефлект мне не сильно помощник

Мндаа

Кастомный instanceof уже сто лет в спеке жс

У меня даже либа есть у которой instanceof матчит по форме любой объект

Плюс концепция интерфейсов в языке

По-моему это не совсем то что надо

Объект имплементит интерфейс если имеет поле с соответствующим символом

Во-первых, количество проверок зависит от шейпа. Во-вторых, бывают маркерные интерфейсы без полей вообще и по шейпу не определишь

В том числе и кастомный интерфейс кастомные символы

По-моему это не совсем то что надо

Я даже не сомневался

Вот символы уже ближе к теме

Вот символы уже ближе к теме

А ты не поверишь на чем instanceof реализуется

Я просто не оч понимаю зачем лезть поперёк концепций языка. Потом огребешь же, как минимум просевшим до плинтуса перфомансом

По-моему это не совсем то что надо

> все instanceof заменяются на вызов кастомной функции

Это то что нужно

зачем заменять

Я говорил про то, что определять реализацию интерфейса по шейпу объекта непрактично

Я говорил про то, что определять реализацию интерфейса по шейпу объекта непрактично

это стандарт языка

Я говорил про то, что определять реализацию интерфейса по шейпу объекта непрактично

а как по другому ты будешь делать?

Мы сейчас говорим про абстрактное определение интерфейса в вакууме или в контексте задачи, которую решает Михаил?

Ну я говорю только про то что не надо заменять instanceof на кастомную функцию чтобы переопределить его поведение

Ну я говорю только про то что не надо заменять instanceof на кастомную функцию чтобы переопределить его поведение

С этим согласен, хотя субъективно вариант с функцией более нагляден

Я просто не оч понимаю зачем лезть поперёк концепций языка. Потом огребешь же, как минимум просевшим до плинтуса перфомансом

я лезу поперёк концепций языка потому что хочу сконвертировать 20 мегабайт кода написанного на другом но похожем языке где такая концепция есть

Во-первых, количество проверок зависит от шейпа. Во-вторых, бывают маркерные интерфейсы без полей вообще и по шейпу не определишь

в моём случае как раз такого много и это нужно поддержать

так я согласен что в здравом уме на тайпскрипте так писать не нужно и даже нельзя

в моём случае как раз такого много и это нужно поддержать

Ну с помощью символов это вполне реально и даже красиво получается

а ie11 взлетит?

и кстати, что-то беглый гуглёж не показал как переопределить поведение instanceof, кинь в меня ссылкой плз

Symbol.hasInstance гугли

Я тоже сегодня попарился, пока это нашел

Давно просто про символы надо было почитать)

И не было бы сюрпризом

Насчет ie11 не знаю, наверняка есть shim, но остается вопрос производительности

да про чимволы читал, только они в ie не работают и я их не юзаю

я проще на метод поменяю

там всё просто, сначала инстансов если прокатило то всё, оно, если нет, то два хеш лукапа

в принципе ничего критичного

да и не юзается это где-то в нагруженном коде, обычно это в простой бизнес-логике лежит

мой конвертер и так сейчас вот это http://service.crazypanda.ru/v/clip2net/7/E/gNCf1GySkm.png вот в это конвертит http://service.crazypanda.ru/v/clip2net/W/n/gUlPYzoE7I.png

вот в это http://service.crazypanda.ru/v/clip2net/W/n/gUlPYzoE7I.png

так что вопрос с инстансофом не такой уж и ужасный

Ох е

жесть

ну а другого способа добавить целочисленную 32х битную математику нет

вебассембли не предлагать

вот в это http://service.crazypanda.ru/v/clip2net/W/n/gUlPYzoE7I.png

что это и зачем

это добавление целочисленной арифметики в тайпскрипт

с переполнениями как в 32 бита и тп

вебассембли не предлагать

почему нет

почему нет

потому что язык с GC

который мне нужен

но арифметику то можно и на вебассембли сделать

так у меня просто тип инт есть, на объектах такие поля и тп

мне в язык надо глобально поддерку интов, это кстати несложно было уже всё работает давно с интами

и параметры функций и ретурны и присвоения

в местах где тебе нужен блок арифетики, компилируешь его в вебассембли

не, треш

Не, это самый сок

это почти компилятор

представь 10 метров кода игры и ещё 10 всяких либ, и 40% фнкций используют инты

часть вообще графику обрабатывает

короче не, так проще гораздо

тогда прирость скорость от вебассембли прямо будет

или хотя бы asm.js

а то мне кажется что то что утебя на выходе так себе на производительности сказывается

не сильно фатально

будем профайлить, где надо, убирать инты и заменять на намберы, тогда такого говна не будлет

тогда прирость скорость от вебассембли прямо будет

Вообще-то в последнем хроме уже есть автоматическая компиляция asm.js в вебассембли так что производительность будет одинаковая (http://benediktmeurer.de/2016/12/20/v8-behind-the-scenes-december-edition/)

ну для этого нжуно asm.js выдавать

лол

кто поможет написать тайпинг ?

https://www.npmjs.com/package/bookshelf-eloquent

это фишке. Блин это просто бомба

orm knex + bookshelfjs расширеная тем плагином

и в итоге orm как в laravel

т.е связи те же

interface IModelBase { static demo(): any }

статик не на писать ?

Капец. Ору. Как мне добавить тацпинги существующему проекту ?

вот на пример bookshelf есть тайпинг. А вот тайп же не видит плагин. Че делать ?

как обычно

как обычно

как ?

@types или файлы .d.ts

ну а в нутри что ? Мне нужен именно абстактный класс

который не дополнить и не переопределить. Мне нужно внедрить статические свойства. Через интерфейс не выйдет. Через абстрактый тоже. Он говорит что класс уже есть

через интерфейс норм должно быть

но мне нужны статические свойства

https://www.typescriptlang.org/docs/handbook/declaration-merging.html

хотя плагин пашет и если не статически вызвать метод

но мне нужны статические свойства

Мне вот тоже. Я так т не понял как правильно их описать