Hacker News with Generative AI: Static Typing

Unison Programming Language (unison-lang.org)
Unison is a friendly programming language from the future: statically-typed, functional, and a lot of fun 😄

Programming Languages, Functional Programming, Static Typing

9 points by avinassh 37 days ago | 2 comments

Ruby's Hidden Gems: Sorbet (appsignal.com)
The debate between static and dynamically typed languages has long been a subject of contention among developers.

Ruby, Programming Languages, Static Typing

10 points by unripe_syntax 64 days ago | 1 comments

Vapour: A typed superset of the R programming language (vapour.run)
Vapour aims at making R developers more confident in their programs.

Programming Languages, R, Static Typing

83 points by johncoene 66 days ago | 59 comments

Statically Typed Functional Programming with Python 3.12 (wickstrom.tech)

Python, Functional Programming, Static Typing

14 points by rbanffy 166 days ago | 0 comments

Statically Typed Functional Programming with Python 3.12 (wickstrom.tech)

Python, Functional Programming, Static Typing

14 points by todsacerdoti 182 days ago | 2 comments

Branded types for TypeScript (carlos-menezes.com)

TypeScript, Programming, Software Development, Static Typing

158 points by carlos-menezes 191 days ago | 144 comments

Borgo is a statically typed language that compiles to Go (github.com/borgo-lang)

Programming Languages, Go, Static Typing, Open Source

666 points by manx 205 days ago | 545 comments