simple-sub

Alternative algorithm for algebraic subtyping. (by LPTK)

Simple-sub Alternatives

Similar projects and alternatives to simple-sub

  • Scaloid

    Scaloid makes your Android code easy to understand and maintain.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

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

simple-sub reviews and mentions

Posts with mentions or reviews of simple-sub. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-13.
  • What's the deal with Kotlin being referred to as the language for Scala Refugees?
    2 projects | /r/scala | 13 Jan 2021
    As a typical example, consider this type inference engine I designed a while ago. It's extremely efficient, because it represents type variable bounds using a mutable var field of List type. That's the only bit of mutability in the entire engine, making it okay to reason about, though the mutability does potentially infect everything, so you still have to be more careful. But I think if you'd listen to most people on this subreddit, they'd probably want you to put everything in a monad (making it several order of magnitudes slower), because mutability is too "dirty". The funny thing is that monads would honestly not make the algorithm easier to understand at all. It'd just be a lot more for comprehensions everywhere, but fundamentally the same algorithm...

Stats

Basic simple-sub repo stats
1
137
6.7
10 days ago

LPTK/simple-sub is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of simple-sub is Scala.

Popular Comparisons


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com