Для нового похожего на схему языка с зависимой типизацией «Пирог» я приобрел сопутствующую книгу по языку: «Маленький типер» (http://thelittletyper.com/)
).
Я пытаюсь следовать коду, используя DrRacket, но у меня возникают ошибки при вводе кода в книге.
(cons 'ratatouille 'baguette)
Я получаю эту ошибку:
"Не могу определить тип"
Так как оба символа являются атомами, разве это не должно вызывать доводы "против"?
Кроме того, функция '+' не определена, даже для чисел. Есть ли у Pie прелюдия, которую можно импортировать, чтобы обеспечить такие базовые вещи.