Что такое () в Haskell, точно?

The () тип можно рассматривать как кортеж с нулевым элементом. Это тип, который может иметь только одно значение, и поэтому он используется там, где вам нужно иметь тип, но на самом деле вам не нужно передавать какую-либо информацию. Вот несколько применений для этого.

монадические вещи, как IO и State имеют возвращаемое значение, а также выполнение побочных эффектов. Иногда единственным пунктом операции является выполнение побочного эффекта, например запись на экран или сохранение некоторого состояния. Для записи на экран,putStrLn должно иметь тип String -> IO ?--IO всегда должен иметь некоторый тип возврата, но здесь нет ничего полезного для возврата. Итак, какой тип мы должны вернуть? Мы могли бы сказать Int и всегда возвращать 0, но это вводит в заблуждение. Поэтому мы возвращаемся () тип, который имеет только одно значение (и, следовательно, никакой полезной информации), чтобы показать, что там ничего полезного вернется.

иногда полезно иметь тип, который не может иметь полезных значений. Подумайте, если бы вы реализован тип Map k v который отображает ключи типа k для значения типа v. Тогда вы хотите реализовать Set, который действительно похож на карту, за исключением того, что вам не нужна часть значения, просто ключи. В таком языке, как Java, вы можете использовать логические значения в качестве фиктивного типа значения, но на самом деле вам просто нужен тип, который не имеет полезных значений. Так что можно сказать type Set k = Map k ()

следует отметить, что () не особенно волшебно. Если вы хотите, вы можете хранить его в переменная и сделать шаблон совпадения на нем (хотя там не так много смысла):

main = do
  x <- putStrLn "Hello"
  case x of
    () -> putStrLn "The only value..."

Это называется Unit тип, обычно используемый для представления побочных эффектов. Вы можете думать об этом смутно, как Void в Java. Читать дальше здесь и здесь etc. Что может сбить с толку это () синтаксически представляет как тип, так и его единственный литерал значения. Также обратите внимание, что он не похож на null в Java, что означает неопределенную ссылку -() - это просто кортеж размером 0.

мне очень нравится думать о () по аналогии с кортежами.

(Int, Char) - Это тип всех парInt и Char, Так что это значения все возможные значения Int пересекается со всеми возможными значениями Char. (Int, Char, String) аналогично тип всех троек Int, a Char и String.

легко видеть, как продолжать расширять этот шаблон вверх, но как насчет вниз?

(Int) будет "1-кортеж" типа, состоящий из всех возможных значений Int. Но это было бы проанализировано Хаскеллом как просто поставить круглые скобки вокруг Int, и, таким образом, просто типа Int. И значения в этом типе будут (1),(2),(3) и т. д., которые также будут просто разбираться как обычные Int значения в скобках. Но если вы подумаете об этом," 1-кортеж " точно такой же, как и просто одно значение, поэтому нет необходимости в их существовании.

спустившись на один шаг дальше до нуля-кортежи дает нам (), где должны быть все возможные комбинации значений в пустом списке типов. Ну, есть только один способ сделать это, который не должен содержать никаких других значений, поэтому должно быть только одно значение в типе (). И по аналогии с синтаксисом значения кортежа, мы можем записать это значение как (), что, безусловно,выглядит как кортеж, не содержащий значений.

именно так это и работает. Нет никакой магии, и этот тип () и его значение () никоим образом не обрабатываются специально языком.

() на самом деле не рассматривается как "нулевое значение для любого типа" в примерах монад в книге LYAH. Всякий раз, когда тип () используется только значение, которое может быть возвращено (). Так что он используется как тип для явно говорю что нет не может быть любое другое возвращаемое значение. И точно так же, где другой тип должен быть возвращен, вы не может возвращение ().

следует иметь в виду, что когда куча монадических вычислений составляется вместе с do блоки или операторы, такие как >>=,>> и т. д., Они будут строить значение типа m a для какой-то монады m. Этот выбор m должен оставаться неизменным во всех компонентах (нет никакого способа составить Maybe Int С IO Int таким образом), но a может и очень часто отличается у каждого ступень.

поэтому, когда кто-то вставляет IO () в середине IO String вычисление, которое не использует () как null в String тип, это просто используя an IO () на пути к построению IO String, так же, как вы могли бы использовать an Int на пути к построению String.

путаница происходит от других языков программирования: "пустота" означает в большинстве императивных языков, что в памяти нет структуры, хранящей значение. Это кажется непоследовательным, потому что" boolean "имеет 2 значения вместо 2 бит, в то время как" void " не имеет битов вместо значений, но там речь идет о что функция возвращает в практическом смысле. Если быть точным: его единственное значение не потребляет бит памяти.

давайте проигнорируем значение внизу (написано _|_) для a момент...

() называется Unit, записывается как нулевой кортеж. Он имеет только одно значение. И это не называется Void, потому что Void не имеет даже никакого значения, поэтому не могут быть возвращены любой функцией.

---

обратите внимание:Bool имеет 2 значения (True и False),() имеет одно значение (()), и Void не имеет значения (оно не существует). Они похожи на наборы с двумя/одним / без элементов. Меньше всего памяти у них нужно хранить их значение 1 бит / нет бит / невозможно, соответственно. Это означает, что функция, которая возвращает () может вернуться со значением результата (очевидным), которое может быть бесполезным для вас.

если вы хотите дать" это значение " имя, которое возвращает функция, которая никогда не возвращается (да, это звучит как crazytalk), то вызовите это дно ("_|_", написанный как обратный T). Он может представлять собой исключение или бесконечный цикл или тупик или"просто ждать дольше". (Некоторые функции только тогда вернут bottom, если один из их параметров-bottom.)

когда вы создаете декартово произведение / кортеж этих типов, вы будете наблюдать то же самое поведение: (Bool,Bool,Bool,(),()) есть 2·2·2·1·1=6 ценностей различно. (Bool,Bool,Bool,(),Void) похоже на множество {t, f}×{t,f}×{t,f}×{u}× {}, которое имеет 2·2·2·1·0=0 элементы, если не считать _|_ в качестве значения.

еще один угол:

() - Это имя набора, который содержит один элемент с именем ().

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

помните: в Haskell тип-это набор, который имеет свои возможные значения в качестве элементов в нем.