freenode/#clasp - IRC Chatlog
Search
13:29:24
lxsameer
hi folks, i'm interested to know about clasp's type system implementation. is there any article or paper related to that topic ?
13:30:00
lxsameer
also could you please point me to the code which is related to clasp's type system ?
13:34:33
Bike
lxsameer: what specifically do you want to know? for subtypep, which is most of the logic, we just use baker's algorithm, which i'd link you to but the site appears to be done
13:35:26
Bike
https://dl.acm.org/doi/10.1007/BF01807504 https://www.lrde.epita.fr/~didier/research/publications/papers/valais.19.els.pdf
13:35:34
lxsameer
Bike: i'm interested to know how you implmented a dynamic typed language on top of llvm , how do you do type infer and stuff like
13:43:14
Bike
we're just starting to get type inference working, but it's totally a lisp thing; llvm is irrelevant to it
14:10:33
lxsameer
Bike: interesting, so basically these i8 values are a pointer to the data which tagged with the type of that data right ?
14:11:37
lxsameer
Bike:thanks mate, I have to read those papers and the code, but i'm pretty sure i'm going to have many questions
14:14:09
lxsameer
Bike: so on the llvm level you have only and only one type right, everything is in that type
14:15:10
Bike
depends on what you mean by AOT. it works like a normal lisp implementation, like you open up a repl and compile things from there
14:56:22
Bike
we have a lot of code that doesn't rely on bignums and ratios being normalized (e.g. we check if bignums equal fixnums, or if integers equal ratios). was there some time that we didn't try to keep everything normalized or what?
14:56:56
Bike
we also have stuff checking if reals equal complexes, but maybe that's necessary because float zeroes are weird
15:09:12
drmeister
There was a big update last night of the deploy script, quickclasp, cando and clasp.