Nano Hash - криптовалюты, майнинг, программирование

тип последовательности clojure

Каков правильный тип последовательности? У меня есть этот код:

(defrecord MethodInfo [^clojure.lang.ISeq preconds ^clojure.lang.ISeq postconds])

Но, похоже, это неправильно обеспечивает соблюдение требований к типу, так как я могу написать (new MethodInfo 1 2).

static-typing typechecking clojure
17.07.2011

Ответы:


1

Насколько я понимаю, Clojure использует подсказки типа. там из соображений производительности, чтобы улучшить поиск метода за счет пошагового отражения; Это их единственная цель, а не принудительное применение статических типов в динамическом языке.

См. этот ответ на аналогичный вопрос.

Изменить:

Ходят слухи о возможности в некоторых случаях применять примитивные возвращаемые типы в Clojure 1.3, но это явно то, что находится в постоянном развитии и все еще не применимо к типам последовательностей.

18.07.2011
  • В основном правда. Вы можете ввести подсказку в деинтерфейсе, и сгенерированный интерфейс будет иметь поля правильного типа. Однако это строго для целей взаимодействия, и вы правы в том, что вообще не применяете статические типы. 18.07.2011
    • Новые материалы
    Кластеризация: более глубокий взгляд
    Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
    Как написать эффективное резюме
    Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
    Частный метод Python: улучшение инкапсуляции и безопасности
    Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
    Как я автоматизирую тестирование с помощью Jest
    Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
    Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
    Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
    Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
    В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
    Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
    В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..