Software Alternatives, Accelerators & Startups
Register | Login

The comment with the most upvotes decides what language I write my finals in this year will be.

This page summarizes and extends the software alternatives mentioned in the source post on Reddit.
2022-09-17

Agda Racket Lang
Programming Language OOP Generic Programming Language
  1. Agda Landing Page
    Agda Landing Page
    1

    Agda

    Agda is a dependently typed functional programming language. It has inductive families, i.e.
    Pricing:
    • Open Source

    #Programming Language #OOP #Generic Programming Language 7 social mentions

  2. Racket Lang Landing Page
    Racket Lang Landing Page
    2

    Racket Lang

    Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...
    Pricing:
    • Open Source

    #Programming Language #OOP #Generic Programming Language 91 social mentions

Discuss: The comment with the most upvotes decides what language I write my finals in this year will be.

Log in or Post with

Related Posts

Top 5 Most Liked and Hated Programming Languages of 2022

analyticsinsight.net // about 2 years ago

The 10 Best Programming Languages to Learn Today

ict.gov.ge // over 4 years ago

Top 10 Rust Alternatives

blog.back4app.com // about 2 years ago

Python vs. Node.js: Which WillAmeliorate Your ProjectBetter?

konstantinfo.com // over 5 years ago

Loading...