Jak uzyskać typ wartości w Scheme?

Question

Chcę funkcji, która pobiera typ wartości w czasie wykonywania. Przykładowe zastosowanie:

(get-type a) 

gdzie a jest define d być nieco arbitralne wartości pośredniej.

Jak to zrobić? Czy też muszę to zaimplementować, używając stosu cond z boolean?, number? itd.?

Answer 1

W zastosowaniach Scheme z systemem obiektowym typu Tiny-CLOS, można po prostu użyć class-of. Oto próbka sesja w Racket, wykorzystując oszustwo:

$ racket -I swindle 
Welcome to Racket v5.2.1. 
-> (class-of 42) 
#<primitive-class:exact-integer> 
-> (class-of #t) 
#<primitive-class:boolean> 
-> (class-of 'foo) 
#<primitive-class:symbol> 
-> (class-of "bar") 
#<primitive-class:immutable-string> 

I podobnie podstępnie używając GOOPS:

scheme@(guile-user)> ,use (oop goops) 
scheme@(guile-user)> (class-of 42) 
$1 = #<<class> <integer> 14d6a50> 
scheme@(guile-user)> (class-of #t) 
$2 = #<<class> <boolean> 14c0000> 
scheme@(guile-user)> (class-of 'foo) 
$3 = #<<class> <symbol> 14d3a50> 
scheme@(guile-user)> (class-of "bar") 
$4 = #<<class> <string> 14d3b40> 

Answer 2

Aby sprawdzić typ czegoś po prostu dodać znak zapytania po rodzaju, na przykład w celu sprawdzenia, czy x jest liczbą:

(define get-Type 
    (lambda (x) 
    (cond ((number? x) "Number") 
      ((pair? x) "Pair") 
      ((string? x) "String") 
      ((list? x) "List")))) 

Just dalej z tym.

Answer 3

W rakieta, można użyć pakietu describe Doug Williams od planety. Działa to tak:

> (require (planet williams/describe/describe)) 
> (variant (λ (x) x)) 
'procedure 
> (describe #\a) 
#\a is the character whose code-point number is 97(#x61) and 
general category is ’ll (letter, lowercase) 

Answer 4

Wszystkie odpowiedzi tutaj są pomocne, ale myślę, że ludzie zaniedbali wyjaśnienie, dlaczego to może być trudne; Standard Scheme nie zawiera statycznego typu systemu, więc nie można powiedzieć, że wartości mają tylko jeden "typ". Sprawy stają się interesujące w obrębie i wokół podtypów (na przykład liczba vs liczba zmiennoprzecinkowa) i typów związków (jaki typ nadajesz funkcji zwracającej liczbę lub ciąg znaków?).

Jeśli opisać pożądane użycie nieco więcej, może się okazać, że istnieją bardziej szczegółowe odpowiedzi, które pomogą ci więcej.