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.
- 0 Posts
- 14 Comments
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?
corbasai@alien.topBto Lisp•Feeling like I've never quite broken through with Common Lisp.English1·2 years agoJust use both langs What’s problem.
corbasai@alien.topBto Lisp•The revival of Medley/Interlisp: An elegant weapon from a more civilised age is getting sharpened up again. Restoration project headed up by Steve Kaisler is gathering steam ← by me on the RegisterEnglish1·2 years agoI 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…
corbasai@alien.topBto Lisp•Tools for going from the basic special forms into a full Lisp?English1·2 years agoDo you want to write the 82nd option?
every quarter second, for example. Im check memory+mcu in some rt system.
corbasai@alien.topBto Lisp•Comparison of a counter in racket-scheme and sbcl-lispEnglish1·2 years agofuncall isn’t needed, because in your snippet defun-ed f.
funcall for defvar lambdas in CL.
Scheme is a Lisp-1 -> variables and procedures are defined in one namespace.
In CL (Lisp-2) variables and functions separated.
corbasai@alien.topBto Lisp•Racket Mode users: Want to try “racket-hash-lang-mode”?English1·2 years agoI tried hash-lang and switched back to the Melpa racket mod. there is no syntax highlighting in the rhombus-prototype source code, or I can’t configure the Racket-Hash-Lang mode correctly. The rhombus is not highlighted even in DrRacket8.10
Space-cadet Keyboard was qui quo … was coolest CL thing imo