дак нет типов в рантайме, type erasure в деле

В JS типы == классы == функции, так что конечно есть. Куда методы-то складываются? Вот оно самое. 😊

так, я кажется понял о чем вы, щас переварю

а на мой взгляд и :: уже лишнее

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

import { validate } from ‘my-module’

type User = { id: number }

validate<User>({ id: “1” })

мой визитор находит вызов моего же validate и подменяет на

import jsonValidator from ‘json-validator’

function validate_User(obj) {
  return jsonValidator({
    id: “number”
  }).validate(obj)
}

validate_User({ id: “1” })

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

import { validate } from ‘my-module’

type User = { id: number }

function foo<T>(obj) {
  return bar<T>(bar)
}

function bar<T>(obj) {
  return validate<T>(obj)
}

foo<User>({ id: “1” })

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

Можно вопрос от нуба? Зачем гцц использует rtl схему в качестве одного из представлений? Что это даёт?

Вроде понятно бы было,если бы схема была комбинационной, ну или с обратными связами. Но rtl не пойму зачем...

Коллеги, привет! 🚀У нас есть крутая вакансия:
Lead Compiler Developer 💎🎖🧲в  Consumers business group Huawei в Москве.

Требования:

🔺Обязателен опыт разработки компиляторов
🔺уверенное знание С++ и/или Java.
🔺Опыт с JVM, LLVM приветствуется.
🔺Желателен опыт разработки динамического компилятора. 🚀
🔺Опыт работы: от 5 лет.
🔺В данной команде открыто 10 вакансий (если у вас опыт меньше 5 лет, все равно присылайте, CV, возможно мы найдём подходящие и интересные задачи и для Вас)

Условия:

🔺Высокие зарплаты (в среднем выше рынка), возможен sign-in bonus, годовые бонусы за результат.

🔺Сильная команда из Intel, Soft Machines и др.

🔺Комфортный офис на м.Динамо (в офисе регулярно проходят ивенты, митапы, мероприятия, friday beer на 1 этаже, Monday 5 o’clock tea.). Возможен переезд офиса на м.Арбат в апреле.

🔺Возможны международные командировки, возможность заниматься исследовательской и преподавательской деятельностью при МФТИ.

🔺Пишите мне, если интересно, дам больше деталей.

♦️🚀Вакансии срочные, будем рады пригласить вас на интервью или неформальную встречу, в самое ближайшее время⏱

CV присылайте на: Anna.perova@huawei.com

Или мне в телеграмм: +79031827484 Анна 🎯

*Извините, если оффтоп, очень нужно (!)

Кстати да, тоже такое слышал