How can I specify a function that can accept any type, exclude one type in a typed / racket?

I mean, just like annotating a function like (: function (-> (Not String) String))I know this doesn't work, is there any way to achieve it?

+4

scheme racket typed-racket

Eleven Dec 25 '16 at 7:47

No one has answered this question yet.

See related questions:

eleven

How can I use the json `jsexpr predicate? 'With Typed Racket?

9

Is a function that makes the first argument of a list of functions printed in Typed Racket?

6

Racket applies input types to function

5

Presentation of the EOF Function & # 8594; False, A & # 8594; A ∀ A ≠ EOF in a typed racket?

3

What is the type of variational function in Typed Racket?

3

How can I use define / contract (or something similar) in Typed Racket?

2

Unable to execute undersand racket function

2

How can I specify the void function in a typed racket?

2

Typed Racket Paint Features

0

sort the list of any type according to the specified function in the racket

Source: https://habr.com/ru/post/1664817/

All Articles