infernu

Type inference and checking for a safer JavaScript. (by sinelaw)

Infernu Alternatives

Similar projects and alternatives to infernu

  1. TypeScript

    1,427 infernu VS TypeScript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. crystal

    247 infernu VS crystal

    The Crystal Programming Language

  4. Immer

    152 infernu VS Immer

    Create the next immutable state by mutating the current one

  5. language-server-protocol

    Defines a common protocol for language servers.

  6. proposal-pipeline-operator

    A proposal for adding a useful pipe operator to JavaScript.

  7. Carp

    89 infernu VS Carp

    A statically typed lisp, without a GC, for real-time applications.

  8. ramda

    85 infernu VS ramda

    :ram: Practical functional Javascript

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. io-ts

    81 infernu VS io-ts

    Runtime type system for IO decoding/encoding

  11. talk-transcripts

    Transcripts of Clojure-related talks

  12. quokka

    Repository for Quokka.js questions and issues (by wallabyjs)

  13. Akka

    33 infernu VS Akka

    A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

  14. Hegel

    15 infernu VS Hegel

    Discontinued An advanced static type checker

  15. ts-belt

    10 infernu VS ts-belt

    🔧 Fast, modern, and practical utility library for FP in TypeScript.

  16. gotta-go-fast

    A command line utility for practicing typing and measuring your WPM and accuracy.

  17. ascii-art-to-unicode

    Small program to convert ASCII box art to Unicode box drawings.

  18. hascard

    2 infernu VS hascard

    flashcard TUI with markdown cards

  19. ekg-carbon

    An EKG backend to send statistics to Carbon (part of Graphite monitoring tools)

  20. xkcd

    0 infernu VS xkcd

    Downloads the most recent xkcd strip

  21. penrose

    16 infernu VS penrose

    Haskell to JavaScript compiler, based on GHC

  22. ama

    Ask me anything! (by staltz)

  23. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub 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 infernu alternative or higher similarity.

infernu discussion

Log in or Post with

infernu reviews and mentions

Posts with mentions or reviews of infernu. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-04-10.
  • The TypeScript Experience
    3 projects | dev.to | 10 Apr 2022
    Or maybe a sound type system can only be achieved either by limiting JavaScript or with a different language that compiles to JavaScript?
  • Features of a dream programming language: 2nd draft.
    16 projects | dev.to | 10 Feb 2022
    Very constrained. Since "constraints liberate, liberties constrain", as Bjarnason said. Inspired by Golang's minimalism, and Elm's guardrails. For learnability and maintainability. Since discipline doesn't scale (obligatory xkcd: with too much power, and the wrong nudges, all it takes is a moment of laziness/crunch-time to corrupt a strong foundation), and a complex language affords nerd-sniping kinds of puzzles, and bikeshedding and idiomatic analysis-paralysis. Counter-inspired by Haskell. The virtue of functional programming is that it subtracts features that are too-powerful/footguns (compared to OOP), namely: mutation & side-effects. The language designers should take care of and standardize all the idiomacy (natural modes of expression in the language). "Inside every big ugly language there is a small beautiful language trying to come out." -- sinelaw. The language should assume the developer is an unexperienced, lazy, (immediately) forgetful, and habitual creature. As long as software development is done by mere humans. This assumption sets the bar (the worst case), and is a good principle for DX, as well as UX. The constrained nature of the language should allow for quick learning and proficiency. Complexity should lie in the system and domain, not the language. When the language restricts what can be done, it's easier to understand what was done (a smaller space of possibilities reduces ambiguity and increases predictability, which gives speed for everyone, at a small initial learning cost). The language should avoid Pit of Despair programming, and leave the programmer in the Pit of Success: where its rules encourage you to write correct code in the first place. Inspired by Eric Lippert, but also by Rust.

Stats

Basic infernu repo stats
2
339
0.0
over 6 years ago

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?