а
ну там все просто - телеграм возвращает либо отсутсвие поля либо true
Прикольно
Size: a a a
2021 January 21
H
потом исправим, когда-нибудь, наверное
H
я записал
p
Как я обожаю телеграм. Миллион фич которые нигде не описаны.
p
Вот кто знает как открыть такое меню? И где-то это написано?
p
Я это случайно обнаружил
SP
ты просто гугл не видел. какаято особая фотка в микроразметке показывает охуительную менюшку в поиске на которую кликают. и это нигде не описано ваще ваще
DS
Вот кто знает как открыть такое меню? И где-то это написано?
Долгое нажатие по иконке, это же стандартный паттерн для тач интерфейсов
EG
Нет, потому что вывод типов не разрешим в присутствии зав типов по очевидным причинам.
Пишите типы ручками
Пишите типы ручками
Вывод типов неразрешим в присутствии дженерик-трейтов с ассоциированными типами
То есть уже
То есть уже
DS
Вывод типов неразрешим в присутствии дженерик-трейтов с ассоциированными типами
То есть уже
То есть уже
Но в расте его и никогда и не было для сигнатур.
EG
Но в расте его и никогда и не было для сигнатур.
Кроме лямбд, для которых есть
EG
И impl Trait в позиции ретурна, для которых есть
EG
И внутри функций-то вывод типов есть, и он тоже неразрешим.
DS
Кроме лямбд, для которых есть
Это все равно не тот полноценный вывод, что есть в том же хаскеле
DS
Но в хаскеле всегда можно добиться его разрешимость не включив продвинутые фичи языка
EG
Неразрешимая система типов — это требование, которое нужно, чтобы она вообще была интересной
DS
Неразрешимая система типов — это требование, которое нужно, чтобы она вообще была интересной
Ну тут интересный вопрос конечно.
Если можно вычисления на уровне типов сделать достаточными для практики, но при этом не полными по тьюрингу, то может и можно оставить вывод типов
Если можно вычисления на уровне типов сделать достаточными для практики, но при этом не полными по тьюрингу, то может и можно оставить вывод типов
EG
Ну тут интересный вопрос конечно.
Если можно вычисления на уровне типов сделать достаточными для практики, но при этом не полными по тьюрингу, то может и можно оставить вывод типов
Если можно вычисления на уровне типов сделать достаточными для практики, но при этом не полными по тьюрингу, то может и можно оставить вывод типов
Idris?
DS
Idris?
Я скорее даже подумал про ощутимо более ограниченные варианты.
а
В Idris запрещена бесконечная рекурсия в типах, они не тьюринг полные, этого достаточно? 🤔