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
No. Scheme is good last language.
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).
pack it call with every step -> shell caller apply result
param is value or procedure?
I definitely Agree (despite to our CL-locals). But Lisp Machines may(must) have some analogs of Jail|chroot|zones with stable ABI. Versioned or tagged. It is not rocket science. Look at Mirage OS,... not the same... but it works
(ql-dist:install-dist "http://dist.shirakumo.org/shirakumo.txt")
(ql:quickload :trial-examples)
(trial-examples:launch :scene-loader)
mine stall at
[package org.shirakumo.machine-state];
; caught ERROR:
; READ error during COMPILE-FILE:
;
; Symbol "*GC-REAL-TIME*" not found in the SB-EXT package.
;
; Line: 66, Column: 33, File-Position: 2176
;
; Stream: #
debugger invoked on a UIOP/LISP-BUILD:COMPILE-FILE-ERROR in thread
#:
COMPILE-FILE-ERROR while
compiling #
For example, let print every one utf-8 char or (if control-char? name....
every quarter second, for example. Im check memory+mcu in some rt system.
Space-cadet Keyboard was qui quo ... was coolest CL thing imo