• 0 Posts
  • 14 Comments
Joined 1 year ago
cake
Cake day: October 4th, 2023

help-circle

  • corbasai@alien.topBtoLispType Inference in Lisp
    link
    fedilink
    English
    arrow-up
    1
    ·
    10 months ago

    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.topBtoLispISLisp and Common Lisp
    link
    fedilink
    English
    arrow-up
    1
    ·
    10 months ago

    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).