Lisp

55 readers

3 users here now

founded 1 year ago

MODERATORS

rglullis

defmacro

Type Inference in Lisp (alien.top)

submitted 1 year ago by sym_num@alien.top to c/lisp

9 comments fedilink hide all child comments

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

you are viewing a single comment's thread
view the rest of the comments

[–] KaranasToll@alien.top 1 points 1 year ago (1 children)

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.

[–] raevnos@alien.top 1 points 1 year ago

Yeah, they're very similar to CL's generics from what I've seen.

https://nenbutsu.github.io/ISLispHyperDraft/islisp-v23.html#generic_functions