Hacker News with Generative AI: Static Typing

The Lobster Programming Language (strlen.com)
Lobster is a programming language that tries to combine the advantages of static typing and compile-time memory management with a very lightweight, friendly and terse syntax, by doing most of the heavy lifting for you.
Programming Languages, Syntax, Static Typing
18 points by andsoitis 2 days ago | 6 comments
Static Types Are for Perfectionists (mmapped.blog)
If you’re making games, you should be getting therapy.
Programming, Software Development, Static Typing
3 points by owebmaster 6 days ago | 0 comments
Static Types Are for Perfectionists (mmapped.blog)
If you’re making games, you should be getting therapy.
Programming, Software Development, Static Typing
39 points by PaulKeeble 6 days ago | 126 comments
Pallene: A statically typed ahead-of-time compiled sister language to Lua, with (github.com/pallene-lang)
Pallene is a statically typed and ahead-of-time compiled sister language to Lua, with a focus on performance.
Programming Languages, Lua, Performance, Static Typing, Compilation
24 points by todsacerdoti 7 days ago | 3 comments
Teal – A statically-typed dialect of Lua (teal-language.org)
Teal is a statically-typed dialect of Lua.
Programming Languages, Lua, Static Typing
229 points by generichuman 8 days ago | 171 comments
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 34 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 163 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 165 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 220 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 247 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 249 days ago | 59 comments
Statically Typed Functional Programming with Python 3.12 (wickstrom.tech)
Python, Functional Programming, Static Typing
14 points by rbanffy 349 days ago | 0 comments
Statically Typed Functional Programming with Python 3.12 (wickstrom.tech)
Python, Functional Programming, Static Typing
14 points by todsacerdoti 365 days ago | 2 comments
Branded types for TypeScript (carlos-menezes.com)
TypeScript, Programming, Software Development, Static Typing
158 points by carlos-menezes 374 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 388 days ago | 545 comments