An in-progress fast, dependently typed, functional programming language implemented in Swift. (by silt-lang)

Silt Alternatives

Similar projects and alternatives to silt

  • CompCert

    The CompCert formally-verified C compiler

  • Appwrite

    Appwrite - The open-source backend cloud platform. Add Auth, Databases, Functions, and Storage to your product and build any application at any scale while using your preferred coding languages and tools.

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

silt reviews and mentions

Posts with mentions or reviews of silt. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-02-17.
  • Phantom types in Swift
    2 projects | /r/swift | 17 Feb 2021
    This is absolutely one of my favorite patterns. I really like using it to build state machines. Each state has a constrained extension full of behaviors and a method you can use to transit to the next state that just scoops all the data into a new container with a different tag. A light extension of that pattern is to then use associated/nested types dependent on the tags to define other behaviors such as custom state associated with each point in the machine. Conversely, behaviors common to every state can be added via an extension as per usual. Here’s a big hairy TypeChecker written following this pattern with its implementation split across an entire modules’ worth of files. Each transition point from elaboration to type checking to type inference is neatly contained by the tag which uniquely determines the state carried at each point.


Basic silt repo stats
over 4 years ago

silt-lang/silt is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of silt is Swift.

Popular Comparisons

Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.