readme: Initialize.

[Ambrevar]

No description provided.

[kchanqvq]

I'm not sure if CCL does any typecheck -- on my machine it doesn't seem to do any and probe-ftype is basically an n-op. Can you confirm?

[Ambrevar]

Good catch. CCL does support compile-time type-checking though, it's just that the declare in probe-ftype does not do the trick here.

See this CCL session:

> (declaim (ftype (function (number) number) foof))
> (defun foof (n) (* 2 n))
> (compile nil (lambda () (foof "foo")))
;Compiler warnings :
;   In an anonymous lambda form: Type declarations violated in (THE NUMBER "foo")
#<Anonymous Function #x302000E24CBF>
NIL
NIL

[kchanqvq]

Interesting. Let me try to figure out a probe-ftype that also works on CCL.

[Ambrevar]

I've updated the readme to remove CCL mention for now.
This should be OK to merge, we can take care of CCL in a separate issue.

[kchanqvq]

It seems that it's hard to get CCL check a function definition. Probably because built-in functions (e.g. *) do not have type declarations?

> (declaim (ftype (function (string) string) foof))
> (defun foof (n) (* 2 n))
> (compile nil (lambda () (foof "foo"))) ;; no error
> (compile nil (lambda () (* 2 "foo"))) ;; no error

Looks kind of hopeless...