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

Как запросить тип объединения в ghci?

Можно ли запросить ghci для типа унификации?

Например, если я хочу узнать тип объединения между (Int -> Bool) и (a -> Bool), как я могу запросить это в ghci?

Я пытаюсь решить упражнение 13.23 из третьего издания Haskell: The Craft of Functional Programming.

Как вы можете использовать систему Haskell, чтобы проверить, являются ли два выражения типа унифицированными, и если да, то каково их объединение? Подсказка: вы можете создать фиктивные определения в Haskell, в которых определенное значение, например, циркон, приравнивается к самому себе:

zircon = zircon

Значения, определенные таким образом, могут быть объявлены как имеющие любой желаемый тип.

Спасибо,
Себастьян.

types haskell ghci unification
20.04.2014

Ответы:


1

Один из способов - использовать _1 _ :: a -> a -> a. Как функция asTypeOf не очень интересна, но ее тип приятен: она заставляет два своих аргумента и возвращаемый тип объединяться. Так:

> :t asTypeOf (undefined :: Int -> Bool) (undefined :: a -> Bool)
asTypeOf (undefined :: Int -> Bool) (undefined :: a -> Bool)
  :: Int -> Bool

Итак, вы можете видеть, что эти два типа объединены в Int -> Bool. Для более интересного примера давайте объединим Maybe a и f (Bool, c):

> :t asTypeOf (undefined :: Maybe a) (undefined :: f (Bool, c))
asTypeOf (undefined :: Maybe a) (undefined :: f (Bool, c))
  :: Maybe (Bool, c)

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

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