Hacker News with Generative AI: Static Typing

Language Showcase: Lux (2022) (compilerspotlight.substack.com)
Lux is a purely-functional and statically-typed lisp that pushes the boundaries of what's possible in terms of meta-programming.
Programming Languages, Lisp, Functional Programming, Static Typing
7 points by TheWiggles 7 days ago | 0 comments
The case against static typing in PHP (2023) (tonymarston.net)
Imagine you are a developer writing a function which can be used in multiple places within your application. You have decided on a meaningful function name and a list of arguments, but when you come to write the code within the function you realise that one or more of the arguments needs to be qualified before the function can proceed with its assigned task. What do you do? There are two possible solutions to this scenario:
PHP, Programming Languages, Static Typing, Software Development
9 points by surprisetalk 136 days ago | 10 comments
Typed Python in 2024: Well adopted, yet usability challenges persist (engineering.fb.com)
Ten years after the introduction of PEP 484, we surveyed the current state of the Python type system and the tools developers are using.
Python, Programming Languages, Software Development, Static Typing, Surveys
14 points by vquemener 138 days ago | 1 comments
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 193 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 220 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 222 days ago | 59 comments
Statically Typed Functional Programming with Python 3.12 (wickstrom.tech)
Python, Functional Programming, Static Typing
14 points by rbanffy 322 days ago | 0 comments
Statically Typed Functional Programming with Python 3.12 (wickstrom.tech)
Python, Functional Programming, Static Typing
14 points by todsacerdoti 338 days ago | 2 comments
Branded types for TypeScript (carlos-menezes.com)
TypeScript, Programming, Software Development, Static Typing
158 points by carlos-menezes 347 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 361 days ago | 545 comments