I would appreciate it if you could teach me about type inference in Lisp. Type Inference in Lisp. Weaknesses of Dynamically Typed… | by Kenichi Sasagawa | Oct, 2023 | Medium
I would appreciate it if you could teach me about type inference in Lisp. Type Inference in Lisp. Weaknesses of Dynamically Typed… | by Kenichi Sasagawa | Oct, 2023 | Medium
Aren’t you the one who wrote the article? I’m curious does islisp have generic functions like common Lisp? Does it have a type describing said generic functions? Does your type inferencer, infer generic function types?
I tried to read the code, but I find it quite difficult to follow.
Yeah, they’re very similar to CL’s generics from what I’ve seen.
https://nenbutsu.github.io/ISLispHyperDraft/islisp-v23.html#generic_functions