AN
@Kolsky @borgar_umlaut ещё варик: в расте нету сравнения для типов, зато есть сравнения для числе как в typenum. Если с каждым расширение связать уникальное число то может сработать.
Size: a a a
2021 May 02
Т8
что такое "сравнение типов"? Паттерн матчинг?
AN
я имел ввиду спициализацию типа std::is_same
Т8
так и
dectlype тоже нет!Т8
и
constexpr слабенький, вродеID
Нуу... Можно хардкор лисп писать и достигать более менее сравнимой с Си производительности
AN
ну нету. просто конкретно для нашей хотелки хватилобы std::is_same
П
Для типов есть typeid
EG
А про какой конкретно чистый ФП лисп ты говоришь? О_о
Т8
это к @DogeShibu и к @hirrolot
ID
А, чистый... Тогда нет такого
AN
я знаю. это в рантайме толкьо
Т8
в крестах ты в компайлтайме это можешь вычленить
ID
Можно вручную себя контролировать, не юзая грязные методы и функции
EG
Нельзя
В лиспе один фиг нет IO-монады, как ты будешь с внешним миром взаимодействовать?
В лиспе один фиг нет IO-монады, как ты будешь с внешним миром взаимодействовать?
ID
ID
Т8
а как ATS взаимодействует? Или там есть?
ID
К черту внешний мир)
EG
Или типа «код не имеет побочных эффектов, потому что его никто не запускает»?