The Dracula programming environment for ACL2
dracula-lang.github.io4 pointsby tmtvl0 comments
',.pyf
Which isn't as catchy as Dvorak. (defun first-two (list)
(assert (>= (length list)
2))
(list (first list)
(second list)))
In a language which doesn't normalise the case of symbols you could in theory work around that by capitalising or upper-casing either the function or the variable, but that's still not a particularly elegant solution. (loop :do (print (eval (read))))
to implementing all of Common Lisp in RISC-V assembly: pacman -Syu sbcl emacs
M-x package-install slime RET
isn't a lot of keystrokes. (asdf:test-system system &rest keys &key force force-not verbose version &allow-other-keys)
Although if we're honest, the real way to run a test suite in CL is to open the REPL, load your system, and just type something like (run-test-suite). (defun merge-sort (list before?)
(declare (type List list)
(type Function before?))
(flet ((merge-2 (a b)
(declare (type List a b)
(merge 'List a b before?)))
(unless (null list)
(reduce #'merge-2 list :key #'list))))
(merge-sort '(1 9 8 2 3 4 7 6 5)
#'<)
Instead of having to name lists 'lst' or something. Which is pretty much personal preference anyway. (setq read-process-output-max
(with-temp-buffer
(insert-file-contents "/proc/sys/fs/pipe-max-size")
(string-to-number (buffer-string))))
Reach me at [email protected].