Software Alternatives & Reviews

Learning to Love a Rigid and Inflexible Language

Coq ReasonML React
  1. 1

    Coq

    Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
    Pricing:
    • Open Source

    #Programming Language #OOP #Technical Computing 46 social mentions

  2. ReasonML is a new face to OCaml that--when coupled with BuckleScript--makes web development easy...
    Pricing:
    • Open Source
    I'm not so sure. Consider what TypeScript and, to a lesser extent, ReasonML have done for the JavaScript ecosystem. Consider that React, for the last three years or so the dominant UI toolkit for the web, was [prototyped in Standard ML[(https://github.com/reactiflux/q-and-a/blob/master/jordan-walke.md) and that prototype has essentially been resurrected and improved as ReScript/React.

    #Personal Finance #Financial Planner #Android 33 social mentions

  3. 3
    A JavaScript library for building user interfaces
    Pricing:
    • Open Source
    I'm not so sure. Consider what TypeScript and, to a lesser extent, ReasonML have done for the JavaScript ecosystem. Consider that React, for the last three years or so the dominant UI toolkit for the web, was [prototyped in Standard ML[(https://github.com/reactiflux/q-and-a/blob/master/jordan-walke.md) and that prototype has essentially been resurrected and improved as ReScript/React.

    #Javascript UI Libraries #JS Library #JavaScript Framework 775 social mentions

Discuss: Learning to Love a Rigid and Inflexible Language

Log in or Post with