• 0 Posts
  • 14 Comments
Joined 3 年前
cake
Cake day: 2023年10月4日

help-circle

  • corbasai@alien.topBtoLisp•Type Inference in Lisp
    link
    fedilink
    English
    arrow-up
    1
    ·
    3 年前

    As I understand current movement in Racket, PyPy or JS, them use self interpreter as knowledge machine at first run|trace. Code that executed once newer be optimized. Only parts of code which frequently executed (a.k.a 'hotspots) undergoes optimization steps. Which one should be specialization (selection|substitution) of procedures with well defined argument | return type signatures exactly. Static type inference as thing we have well defined in strong typed langs, for example in OCaml. Inference as process in Lisp may be special form of EVAL.



  • corbasai@alien.topBtoLisp•ISLisp and Common Lisp
    link
    fedilink
    English
    arrow-up
    1
    ·
    3 年前

    In well known paper Hygienic macro technology Section 5. Pra.5.2

    > As it turned out, this dispute between the X3J13 and various European delegations continued for

    several years, centering on the name of the language to be standardized. If the name of that language

    was łLispž, then Common Lisp might fall under the ISO umbrella. Eventually ISO SC22/WG16

    adopted the name ISLisp, thus avoiding the threat to Common Lisp [SC22/WG16 1997].

    ​

    Actually ISLisp standard (about draft 13) looks like RnScheme standard - smart-compact and open for interpretations of authors. But it is one core document with observable 120+ pages (like R7RSsmall - 84p).