reikonomusha

8 ms·

61.
by reikonomusha 1y ago
Related context: The 2025 European Lisp Symposium [1] was just wrapped a few hours ago in Zurich. There was content on: - Static typing a la Haskell with Coalton in Common Lisp - Dependent typing with Deputy in Clojure (this post) - The Com
62.
by reikonomusha 1y ago
Coalton can be used wherever (almost any) Common Lisp can be used: mixed in, side by side, exclusively, as an library, etc. CIEL doesn't presently ship any native Coalton interfaces, so all invocations of CIEL within Coalton code would
63.
by reikonomusha 1y ago
Coalton remains in active development and is used at a couple companies. Like a handful of others in recent history, it's a language that's designed and implemented directly against the needs of either actual products or (PLT-unre
64.
by reikonomusha 2y ago
CL has Coalton, which is the implementation of a static type system beyond Haskell 95. Full multiparameter type classes, functional dependencies, some persistent data structures, type-oriented optimization (including specialization and mono
65.
by reikonomusha 2y ago
Coalton [1] is a Lisp language that has Hindley-Milner type inference with type classes. Its syntax actually resembles the prototype syntax from TFA pretty closely. The Coalton syntax-equivalent would be: (define-type (Option :a)
66.
by reikonomusha 2y ago
I found it mildly irksome that the blog post was written almost as if it were a completely unbiased comparison.
67.
by reikonomusha 2y ago
This document reminds me of the kinds of things I wrote at a smaller scale when I'd self-teach math. The usual pattern was: Step 1. I don't know how X works. Step 2. I collect several sources about X and try to understand it. Step
68.
by reikonomusha 2y ago
Coalton is used in production for quantum computing systems and soft real-time control system automation. There are also (a small number of) Coalton jobs.
69.
by reikonomusha 2y ago
No-nonsense roll-up of what algorithms a quantum computer can run in principle, along with their big-O speed ups (which don't necessarily reflect practical speed ups): https://quantumalgorithmzoo.org/
70.
by reikonomusha 2y ago
Would it be better for you if we took the Nth symbol in alphabetical order from the list of 978 standard symbols? You could do that. How about searching for all symbols with the letters DEMACRO that are 8 letters long? We could do that too.
71.
by reikonomusha 2y ago
Easy in Common Lisp without sacrificing ergonomics or getting stuck in a Turing tarpit. We'd make a small preamble to define new names for things like DEFUN, Lisp's operator to define new functions. No F's needed to do that e
72.
by reikonomusha 2y ago
I know someone in the US with Symbolics hardware (actual Lisp machines and MacIvory) as well as TI MicroExplorer for quiet sale. Email is in profile.
73.
by reikonomusha 2y ago
SBCL is a Common Lisp compiler written in Common Lisp that also can target RISC-V.
74.
by reikonomusha 2y ago
It's not that it's wrong—at least I don't think so. It's that it's an example of a choice that is not pragmatic. I suppose we should agree on what "pragmatic" even means, since it has become something of a
75.
by reikonomusha 2y ago
The most important code would be that which generated the .qasm file. That's not included in the repo, just the "compiled" result and a little program to run it. The code generator will look like a conventional C++ program th
76.
by reikonomusha 2y ago
Funny, a macro serves the job you seek: (loop :for x :below 10 :do (print x)) This is a macro that presents a new abstraction/concept that's not "in AST format". It's a concept that's present
77.
by reikonomusha 2y ago
Have you worked on a professional software engineering team where every member was able to do things "freely"? That's a project management failure, not a language failure.
78.
by reikonomusha 2y ago
I hesitate to give quantitative estimates without citations, but to throw a bone, something like: <2 years for Lisp by a small team of 4 relative newcomers. >4 years for Python by a larger team of >10 expert people. The software st
79.
by reikonomusha 2y ago
Lisp software like QUILC (linked) and Python software like Qiskit. They have the role of taking general quantum programs (usually called "quantum circuits"), and translating+optimizing them for a particular quantum computer archit
80.
by reikonomusha 2y ago
Style is not essential to getting things done, but it's essential to building a community and having labor be multiplicative in its impact. Lisp is a language ripe for expressing a personal style, and that's antithetical to collab
81.
by reikonomusha 2y ago
You have to first install a Lisp compiler whose REPL is so spartan than even using arrow keys causes errors in your terminal. You have to learn Emacs. Figure out wtf SLIME and Paredit are from docs written in piecemeal plaintext READMEs. Th
82.
by reikonomusha 2y ago
How about a type system more expressive than Haskell 95, completely interoperable with Lisp? [1] What you suggest exists, but it's not the reason people turn away from Lisp. Lower hanging fruit exists. "I have to learn Emacs? No t
83.
by reikonomusha 2y ago
I can assure you that most people are not considering Lisp and thinking, "huh, this is too much responsibility, so not for me." Lisp has a higher barrier to entry compared to Python or Rust or other languages available. For that s
84.
by reikonomusha 2y ago
A state of the art compiler [1] in quantum computing has not been rewritten in its 8 years of existence. This is accompanied by a quantum computer simulator that runs on the world's biggest supercomputers. [2] Multiple quantum computin
85.
by reikonomusha 2y ago
Zulu-Inuoe's jzon blew everything else out of the water imho. It's a superlative example of a robust and comprehensive library to do a single job very well.
86.
by reikonomusha 2y ago
CL-LOCATIVES [1] make these first-class values. It essentially turns any setf-able place into a mutable pointer. [1]: https://github.com/stylewarning/cl-locatives
87.
by reikonomusha 2y ago
I disagree with you on many points. I do not claim that not using macros means that one cannot use Lisp usefully or profitably. It's a wonderful language even without macros, and I'm sure I'm preaching to the choir by listing
88.
by reikonomusha 2y ago
The whole point of Lisp is to allow you, the programmer, to make the language that makes it easiest to write the program you're trying to write. Said language will be syntactic abstractions in Lisp primarily built out of Lisp macros, b
89.
by reikonomusha 2y ago
This is a pretty reasonable approximation. The REPL is also the library-fetcher, program loader, compiler, debugger, disassembler, and profiler.
90.
Lem: Editor/IDE well-tuned for Common Lisp(lem-project.github.io)
24 points by reikonomusha 2y ago|3 comments

More ›