Я пишу свое первое приложение для набора текста/рэкета, которое представляет собой приложение cli, которое задает вам некоторые статистические вопросы о вашем дне, например, сколько часов вы спали предыдущей ночью, сколько вы съели, сколько чашек кофе...

Привет, я учусь использовать средства ведения журнала, предоставляемые racket. Я написал следующий фрагмент кода, чтобы понять, как все работает. #lang racket (define list-logger (make-logger 'list-logger)) ;;(: log-debug (String Symbol ->...

В справочнике по Typed Racket указано, что можно использовать with-type для создания "типизированных областей" в нетипизированном коде. with-type позволяет использовать локализованные области Typed Racket в нетипизированном коде....

У меня есть функция, которая вроде как assoc ищет символ в списке и возвращает либо #f , либо позицию в списке. Тип возврата для этой функции должен быть объединением #f и Natural , (U #f Natural) . Но когда я хочу использовать значение...

Как я могу получить доступ к типам членов структуры на typed/racket языке? Функция extract-struct-info выдает список методов доступа к полям, но не их типы. (require (for-syntax racket/struct-info syntax/parse))...

Я пытался просмотреть документы, но не могу найти пример, который я мог бы использовать для своего случая. Мне нужно импортировать break из срфи/1. Вот моя попытка. Пример работает в рэкет #lang. #lang typed/racket (require/typed (only-in...

Я попытался переписать следующий код SML в типизированном рэкете, но получил ошибку несоответствия типа, я запутался в этом. datatype 'a pizza = Bottom | Topping of ('a * ('a pizza)) datatype fish = Anchovy |...

Учитывая следующие определенные структуры и тип, необходимо написать функцию умножения двух чисел. Имея проблемы с этим. Любой совет будет принят с благодарностью. (define-struct Zero ()) (define-struct Succ ([n : Nat])) (define-type Nat (U...

Я пытаюсь написать функцию, чтобы проверить, является ли список целых чисел строго возрастающим или нет. У меня есть следующее: (: ascending : (Listof Integer) -> Boolean) ;; test whether a list of integers is *strictly* ascending (define...

В обычном Racket ((curry * 2) 3) работает должным образом, в результате чего 6 . Однако в Typed Racket: > ((curry * 2) 3) ; readline-input:3:0: Type Checker: could not apply function; ; wrong number of arguments provided ; expected: 0...

Я пишу функцию, которая принимает только положительные числа, и хочу убедиться, что она правильно используется как внутри модуля, так и в других местах. я хотел написать #lang typed/racket (require racket/contract) (: excited-logarithm (->...