p
Это по сути any с предикатами в рантайме
нет
Size: a a a
2020 May 27
S
У тебя трейсинг
S
?
S
И оптимизированный боксинг?
p
идея в том чтобы заставить юзера самого выбирать все необходимые проверки чтобы подстроится под тип
p
во фронтенде сделать мета-интерпретатор который идет по дереву и интерпретирует его в понятиях типов
p
то есть
foo x = if x > 0 then 1 else 10
он идет, видит ифчик. заходит в первое условие, там переменная x внутри первой ветки имеет тип (val > 0). потом интерпретирует тело функции - вышел тип 1 | 10.
foo x = if x > 0 then 1 else 10
он идет, видит ифчик. заходит в первое условие, там переменная x внутри первой ветки имеет тип (val > 0). потом интерпретирует тело функции - вышел тип 1 | 10.
S
То есть ты придумал static_assert?
p
хз
S
Если у тебя утекают преколы в рантайм то тока боксинг и ану, в противном случае это частный случай и не круто
SK
это какой-то бзик, через сообщение стикеры кидать не в тему?
S
Соболезную
S
это какой-то бзик, через сообщение стикеры кидать не в тему?
Идеально подходят, учитесь читать между строк
p
Если у тебя утекают преколы в рантайм то тока боксинг и ану, в противном случае это частный случай и не круто
почему частный случай
NL
это какой-то бзик, через сообщение стикеры кидать не в тему?
Fixed
SK
Fixed
благодарю )
S
Fixed
Да чего вы блин
S
((
Т8
@emmanuelGoldstein как ты под Vim заводишь IntelliSense?
Т8
Глупый вопрос, а можно ли на Avalonia в VS Code пилить или не?)