Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression. Learn more →
Coalton Alternatives
Similar projects and alternatives to coalton
-
-
-
SonarQube
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
-
-
awesome-cl
A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.
-
paip-lisp
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
-
-
phel-lang
Phel is a functional programming language that compiles to PHP. It is a dialect of Lisp inspired by Clojure and Janet.
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
-
-
-
-
-
-
-
-
FrameworkBenchmarks
Source for the TechEmpower Framework Benchmarks project
-
-
-
-
-
cakelisp
Metaprogrammable, hot-reloadable, no-GC language for high perf programs (especially games), with seamless C/C++ interop
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
coalton reviews and mentions
-
Adding new types and operators to Lisp
If proper abstraction, type safety, as well as performance is important, then you might want to try out Coalton.
-
I Still ‘Lisp’ (and You Should Too)
I vehemently disagree with dynamically typed being a winning point of Lisp. SBCL's strong support for type checking is the main reason I was drawn from Scheme to CL, and Coalton (https://github.com/coalton-lang/coalton) is one of the most interesting Lisp projects I have encountered.
Type checking can remove an entire class of bugs from even being a consideration. Yes, it could be argued that type mismatches are a trivial class of bug, and yes, proper testing should catch any issues... but catching problems before you go to testing can save you precious seconds, especially when coding in the typical interactive style of Lisp. Lisp lets you code at amazingly high velocity, good support for type checking helps increase that velocity even further.
-
What are some pros of developing a compiler in Common Lisp?
You can have the best of both worlds and use Coalton :D!
-
Typed Lisp, a primer (2019)
> Augment Lisp with functional Haskell-like type declarations ;-)
Since the article's publication, this is now possible with the industrial-grade Coalton: https://github.com/coalton-lang/coalton/
-
Lisping at JPL Revisited
> but what sub-languages are we talking about? I only see a library with helper functions and macros. That's Common Lisp, not a derivative.
If your language is a DSL factory, the line between your language and DSLs naturally blurs. If https://github.com/y2q-actionman/with-c-syntax exists, does it mean that C is a DSL of Common Lisp, given a good enough standard library? If https://github.com/calyau/maxima exists, does it mean that Maxima is just Common Lisp with more maths? If https://github.com/Shen-Language/shen-cl and https://github.com/coalton-lang/coalton/ exist, does it mean that Shen and Coalton are just a fancy way of writing Common Lisp in an immutable way? If https://github.com/froggey/Iota exists and we can play sdlquake on Mezzano, does it mean that LLVM-IR is a dialect of Common Lisp?
The above series of questions is not meant to be fully credible - it's meant to be food for thought.
Thanks for answering my earlier question. Here's hoping you catch another one!
In a lot of my clojure scripts, I forget the shape of the data, and so to help future me, I've made use of tricks like pre/post constraints, defstructs, schemas, etc. In my experience, TypeScript has the best typing ergonomics (block-local, partial interfaces!). But since I prefer lisp language and interaction ergonomics, I'm always on the lookout for new developments, like https://github.com/coalton-lang/coalton, which has pushed me to start playing with sbcl.
I'm not versed in CL, but what methods do you find most effective for passing down knowledge of constraints and data shape to your future selves?
-
Visual type system?
Like defstar? https://github.com/lisp-maintainers/defstar Type declarations that you can place inside the defun. Also serapeum:-> (atop the defun). Or Coalton: https://github.com/coalton-lang/coalton/ But it's possible you'll feel much less a need for that in CL.
- Learn Lisp the Hard Way
-
LISP for UNIX-like systems
And I don't understand why. Lisp is known to be versatile, and people tend to do all kinds of amazing things with it. See Coalton for instance. Everyone still thinks Lisp is a language to create languages, right? Well, creating a language may involve enforcing all kinds of verification, and that's awesome. Starting from a very simple language, evolving into something that better fits whatever you're trying to do. That's exactly how Lisp is advertised and I intend to live the dream. :)
-
Noulith: A new programming language currently used by the Advent of Code leader
Coalton is a good option to explore if you fancy trying AoC with a Lisp:
-
A note from our sponsor - InfluxDB
www.influxdata.com | 25 Mar 2023
Stats
coalton-lang/coalton is an open source project licensed under MIT License which is an OSI approved license.