type systems as libraries

Hi guys,
Has anyone ever real heard of implementing type systems and
type inference on top of lisp as a kindof macro library?
I'm picturing something like
(with-hindley-milner
(rest-o-the-code))
Browsing a few pages of google search results I didn't find
anything to promising. Is this just a bad idea or not done
for some particular reason?
.

Relevant Pages

  • Re: SMLs patterns
    ... Lisp precedes a thorough understanding of good type systems by ... I said Lisp, not Common Lisp. ... programming language design fairly young. ...
    (comp.lang.functional)
  • Re: ADA Popularity Discussion Request
    ... j> type systems of Eiffel or Ada). ... j> Lisp in this message) for all my major work 7 years ago. ... j> mentioning are the sort of bottom up style of programming as described ... even a code monkey will be ...
    (comp.lang.ada)
  • Re: More static type fun.
    ... > a Lisp program the type checker can either prove that the ... you loose any advantage of static typing in all parts of your program ... are static type systems that don't get in the way like those of C and ... differ from language to language, so you choose the right one for the ...
    (comp.lang.lisp)
  • Re: More static type fun.
    ... > are static type systems that don't get in the way like those of C and ... Lispers *like* these primitives quite a bit. ... Much of the flexibility of Lisp comes from these particular primitives. ... If static typing involves giving these up, we feel that we have lost ...
    (comp.lang.lisp)
  • Re: type systems as libraries
    ... It isn't as simple as it seems, plus you do not want a macro layer. ... > Has anyone ever real heard of implementing type systems and ... > type inference on top of lisp as a kindof macro library? ... > I'm picturing something like ...
    (comp.lang.lisp)