coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp. (by coalton-lang)

Coalton Alternatives

Similar projects and alternatives to coalton

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better coalton alternative or higher similarity.

coalton reviews and mentions

Posts with mentions or reviews of coalton. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-02-24.
  • Adding new types and operators to Lisp
    6 projects | reddit.com/r/lisp | 24 Feb 2023
    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)
    4 projects | news.ycombinator.com | 20 Feb 2023
    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?
    2 projects | reddit.com/r/lisp | 2 Feb 2023
    You can have the best of both worlds and use Coalton :D!
  • Typed Lisp, a primer (2019)
    3 projects | news.ycombinator.com | 31 Jan 2023
    > 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
    8 projects | news.ycombinator.com | 28 Jan 2023
    > 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.

    8 projects | news.ycombinator.com | 28 Jan 2023
    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?
    2 projects | reddit.com/r/Common_Lisp | 17 Jan 2023
    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
    5 projects | news.ycombinator.com | 10 Jan 2023
  • LISP for UNIX-like systems
    6 projects | reddit.com/r/lisp | 18 Dec 2022
    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
    11 projects | news.ycombinator.com | 13 Dec 2022
    Coalton is a good option to explore if you fancy trying AoC with a Lisp:

    https://github.com/coalton-lang/coalton

  • A note from our sponsor - InfluxDB
    www.influxdata.com | 25 Mar 2023
    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 →

Stats

Basic coalton repo stats
68
725
5.4
2 days ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com