Home
Application and Data
Languages & Frameworks
Languages

Erlang vs FStar

Get Advice Icon

Need advice about which tool to choose?Ask the StackShare community!

Erlang
1.3K
749
+ 1
345
FStar
2
8
+ 1
0
Add tool

Erlang vs FStar: What are the differences?

Developers describe Erlang as "A programming language used to build massively scalable soft real-time systems with requirements on high availability". Some of Erlang's uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency, distribution and fault tolerance. OTP is set of Erlang libraries and design principles providing middle-ware to develop these systems. On the other hand, FStar is detailed as "An ML-like language aimed at program verification". F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties.

Erlang and FStar belong to "Languages" category of the tech stack.

Erlang and FStar are both open source tools. Erlang with 7.74K GitHub stars and 2.1K forks on GitHub appears to be more popular than FStar with 1.64K GitHub stars and 147 GitHub forks.

Manage your open source components, licenses, and vulnerabilities
Learn More
Pros of Erlang
Pros of FStar
  • 62
    Real time, distributed applications
  • 62
    Concurrency Support
  • 58
    Fault tolerance
  • 36
    Soft real-time
  • 32
    Open source
  • 22
    Message passing
  • 22
    Functional programming
  • 16
    Immutable data
  • 14
    Works as expected
  • 6
    Facebook chat uses it at backend
  • 5
    Practical
  • 5
    Knowledgeable community
  • 4
    Bullets included
  • 1
    WhatsApp uses it at backend
    Be the first to leave a pro

    Sign up to add or upvote prosMake informed product decisions

    Cons of Erlang
    Cons of FStar
    • 1
      Languange is not popular demand
      Be the first to leave a con

      Sign up to add or upvote consMake informed product decisions

      2K
      2.8K
      9.7K
      557
      31
      11.6K
      3K
      3y
      2.8K
      238
      6y

      What is Erlang?

      Some of Erlang's uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency, distribution and fault tolerance. OTP is set of Erlang libraries and design principles providing middle-ware to develop these systems.

      What is FStar?

      F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties.

      Need advice about which tool to choose?Ask the StackShare community!

      Jobs that mention Erlang and FStar as a desired skillset
      Staff iOS Software Engineer, Performance Ad Formats
      Pinterest
      San Francisco, CA, US; , US
      View Job Details
      DreamiOSSwift+4
      Staff iOS Software Engineer, Performance Ad Formats
      Pinterest
      San Francisco, CA, US; , US
      View Job Details
      DreamiOSSwift+4
      Software Engineer, Backend
      Pinterest
      Mexico City, MX; , MX
      View Job Details
      DreamGraphQLJava+4
      Software Engineer, Backend
      Pinterest
      Mexico City, MX; , MX
      View Job Details
      DreamGraphQLJava+4
      Staff Android Software Engineer, Mid Funnel Formats
      Pinterest
      San Francisco, CA, US; , US
      View Job Details
      DreamKotlinAndroid SDK+4
      Staff Android Software Engineer, Mid Funnel Formats
      Pinterest
      San Francisco, CA, US; , US
      View Job Details
      DreamKotlinAndroid SDK+4
      Software Quality Engineer in Test
      Pinterest
      Mexico City, MX; , MX
      View Job Details
      DreamCypressJavaScript+5
      Software Quality Engineer in Test
      Pinterest
      Mexico City, MX; , MX
      View Job Details
      DreamCypressJavaScript+5
      What companies use Erlang?
      What companies use FStar?
        No companies found
        Manage your open source components, licenses, and vulnerabilities
        Learn More

        Sign up to get full access to all the companiesMake informed product decisions

        What tools integrate with Erlang?
        What tools integrate with FStar?

        Sign up to get full access to all the tool integrationsMake informed product decisions

        What are some alternatives to Erlang and FStar?
        Elixir
        Elixir leverages the Erlang VM, known for running low-latency, distributed and fault-tolerant systems, while also being successfully used in web development and the embedded software domain.
        Haskell
        It is a general purpose language that can be used in any domain and use case, it is ideally suited for proprietary business logic and data analysis, fast prototyping and enhancing existing software environments with correct code, performance and scalability.
        Golang
        Go is expressive, concise, clean, and efficient. Its concurrency mechanisms make it easy to write programs that get the most out of multicore and networked machines, while its novel type system enables flexible and modular program construction. Go compiles quickly to machine code yet has the convenience of garbage collection and the power of run-time reflection. It's a fast, statically typed, compiled language that feels like a dynamically typed, interpreted language.
        Clojure
        Clojure is designed to be a general-purpose language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming. Clojure is a compiled language - it compiles directly to JVM bytecode, yet remains completely dynamic. Clojure is a dialect of Lisp, and shares with Lisp the code-as-data philosophy and a powerful macro system.
        Akka
        Akka is a toolkit and runtime for building highly concurrent, distributed, and resilient message-driven applications on the JVM.
        See all alternatives

        Related Comparisons

        C lang vs C++ vs ErlangElixir vs Erlang vs PythonErlang vs PHP vs PythonErlang vs Haskell vs ScalaElixir vs Erlang vs Golang

        Trending Comparisons

        Django vs Laravel vs Node.jsBootstrap vs Foundation vs Material-UINode.js vs Spring BootFlyway vs LiquibaseAWS CodeCommit vs Bitbucket vs GitHub

        Top Comparisons

        Postman vs Swagger UIHipChat vs Mattermost vs SlackBitbucket vs GitHub vs GitLabBootstrap vs Materialize