SICL
clj-kondo
SICL | clj-kondo | |
---|---|---|
26 | 19 | |
1,051 | 1,662 | |
- | 0.4% | |
9.9 | 9.1 | |
10 days ago | 10 days ago | |
TeX | Clojure | |
GNU General Public License v3.0 or later | Eclipse Public License 1.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
SICL
-
Ask HN: Guide for Implementing Common Lisp
This is a very approachable paper from 1990 on one way to do it with a C kernel bootstrapping to Common Lisp: https://www.softwarepreservation.org/projects/LISP/kcl/paper... Kyoto Common Lisp (KCL) is the ancestor of today's Embeddable Common Lisp (ECL).
SICL is probably the best modern version of CL written in CL from a design standpoint, even if it's not taking over SBCL's role anytime soon: https://github.com/robert-strandh/SICL It uses some fancy bootstrapping to have the whole language available early, e.g. their definition of class 'symbol is:
(defclass symbol (t)
-
An implementation of Common Lisp targeting Lua
That's pretty much the objective of SICL, which is "intentionally divided into many implementation-independent modules that are written in a totally or near-totally portable way, so as to allow other implementations to incorporate these modules from SICL, rather than having to maintain their own, perhaps implementation-specific versions".
https://github.com/robert-strandh/SICL
-
Strong typing, a hill I'm willing to die on
Gladly!
https://github.com/robert-strandh/SICL (which I wrote a decent chunk of the compiler backend of.)
-
lisp-in-lisp: an experimental implementation of the lisp interpreter in itself
I applaud your curiosity and initiative to explore. Are you aware of https://github.com/robert-strandh/SICL?
-
NSA urges orgs to use memory-safe programming languages
I mean this Klein and this SICL. Self and Common Lisp are memory-safe, though the implementations need capabilities to manipulate memory; SICL encapsulates them using first-class global environments.
-
Re-targeting (Lisp) compilers
There is significant overlap with SICL and its associated pieces which supply many of the other parts needed to make a Common Lisp. Some of these are Cluster which provides a portable and extensible assembler, Eclector which supplies a portable and extensible reader, Concrete-Syntax-Tree that supports source code tracking during compilation, ctype that implements the Common Lisp type system, and Clostrum that provides first-class environments for e.g. run-time, evaluation, and compilation. The SICL project has as one of its goals the creation of portable infrastructure for implementing Common Lisp, and these pieces are novel building blocks that were created as part of the project.
-
Question from a new Lisper
Not really; you can do it with primitive operations e.g. here is the list in the Cleavir compiler and a paper on "magic" in Jikes RVM. SBCL also has a "virtual op"/vop language for code generation, and vops are written to manipulate objects with assembly snippets.
-
When a young programmer who has been using C for several years is convinced that C is the best possible programming language and that people who don't prefer it just haven't use it enough, what is the best argument for Lisp vs C, given that they're already convinced in favor of C?
Both work. I basically never have to touch C or even FFI (cl+ssl being the main use of FFI for me), unless I am poking at SBCL guts in my spare time, and that isn't necessary either. I am sure many Haskell hackers are happy with their IO monad too.
-
Some questions from a new user.
It's used in operating systems, compilers and CLIs.
-
Open source compilers that use three address code as IR?
The Cleavir Common Lisp compiler uses three-address instructions in a control-flow graph, though it is intended more for production use than educational use.
clj-kondo
-
Advent of Code Day 4
My best suggestion here would be clj-kondo with flycheck-clj-kondo in Emacs. I really can't recommend it enough and would have killed to have it when I was learning Clojure. Not only will it underline all of those references to (now) undefined vars, but it can tell you about numerous little mistakes like mixing up arguments orders in (say) sequence functions, misplaced docstrings that get discarded, style conventions, etc. It's staggering how good it is even for a language as dynamic as Clojure.
- Strong typing, a hill I'm willing to die on
- Clj-kondo: a static analyzer and linter for Clojure
-
What does bad code in Clojure look like?
The clj-kondo linters are worth reading.
-
The YAML Document from Hell
Sure!
Spec: https://github.com/edn-format/edn
Example (linter config): https://github.com/clj-kondo/clj-kondo/blob/634294183a0aa2ca...
-
The Joy of Static Analysis: automated Clojure code refactoring
Clj-kondo doesn't produce an AST but you could easily combine the analysis output with the AST produced by rewrite-clj by matching on location.
-
Can you use Clojure for mobile, backend, frontend, scripts, desktop, and embedded development?
But if you want full support, you can implement a hook: https://github.com/clj-kondo/clj-kondo/blob/master/doc/hooks.md
-
Wrote one of my first clojure programs (tic-tac-toe). Any constructive criticism would be greatly appreciated.
Please configure and use tools like clj-kondo and kibit. Kibit will report areas where you could write idiomatic clojure instead. Eg, it should catch all those (if (condition) true false) and ask you to replace it with (condition). Or if you really need a boolean value, use boolean to coerce it.
- Want to get into closure, but struck at practice
-
Are these problems something that Just Make Sense once I learn more, or what?
Try clj-kondo, a Clojure linter which will tell you about arity errors and more, before you even evaluate your code.
What are some alternatives?
HVM - A massively parallel, optimal functional runtime in Rust
schema - Clojure(Script) library for declarative data description and validation
clasp - clasp Common Lisp environment
immer - Postmodern immutable and persistent data structures for C++ — value semantics at scale
whirlisp - A whirlwind Lisp adventure
truffleruby - A high performance implementation of the Ruby programming language, built on GraalVM.
one-more-re-nightmare - A fast regular expression compiler in Common Lisp
core.typed - An optional type system for Clojure
gophernotes - The Go kernel for Jupyter notebooks and nteract.
web-development-with-clojure - Repository for the examples from the book Web Development with Clojure, 2nd edition
river-runner - Uses USGS/MERIT Basin data to visualize the path of a rain droplet to its endpoint.
fastapi - FastAPI framework, high performance, easy to learn, fast to code, ready for production