Haskell Печать жестко заданного значения из функции

Я начинаю свое первое исследование функционального программирования с помощью Haskell . Я немного борюсь с печатью жестко заданного значения. Я создал модель, представляющую автомобиль и механизмы, на которые он может пойти. Что я хочу сделать, просто напечатайте свой civicNinetyOne при вызове printCar. Но я все время получаю сообщение об ошибке при загрузке файла. Я отправил сообщение об ошибке ниже, это ошибка отступов, но из того, что я прочитал здесь, в LearnYouAHaskell , правильное объявление функции вызова. Может ли кто-нибудь указать мне на причину этой проблемы? Спасибо

ошибка

first_program.hs:10:1: error:
    parse error (possibly incorrect indentation or mismatched brackets)
   |
10 | printCar:: () -> Car    | ^

Код

data Car = Car{
   gears :: [String],
   currentGear :: String,
   brokeGears :: [String],
   shiftStroke:: Strokes
  }  

let civicNinetyOne = Car ["gear1", "gear2", "gear3", "gear4", "gear5"] "gear1" ["gear4"] [("gear1","pull", "gear2"), ("gear2","push", "gear3"), ("gear3","skipShift", "gear5")] 

printCar:: () -> Car
printCar = civicNinetyOne

Всего 1 ответ


printCar принимает аргумент как любая другая функция; это аргумент type is () , что означает, что для его вызова может использоваться только одно значение (также spelled () ).

civicNinetyOne , с другой стороны, является значением с типом Car , а не функцией type () -> Car , поэтому само не может быть назначено printCar .

Правильное определение

printCar :: () -> Car
printCar () = civicNinetyOne

и он будет называться

> printCar ()
Car {gears = ["gear1","gear2","gear3","gear4","gear5"], currentGear = "gear1", brokeGears = ["gear4"], shiftStroke = [("gear1","pull","gear"),("gear2","push","gear3"),("gear3","skipShift","gear5")]}   

Для полноты, let (как указано в комментариях) является необязательным в последних версиях GHCi и требуется в более старых версиях GHCi, но это запрещено в модуле. (Интерактивный интерпретатор ведет себя как неявный блок do .)


Есть идеи?

10000