Play Static Games, Win Static Prizes https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/
#staticTyping #typechecking #staticProgramAnalysis #commonLisp #lisp #sbcl #series #acl2

In which I look at modern and to some extent historical static program analysis popularly used with common lisp #programming.

I accidentally make the really good point that even if #sbcl is not your deployment target, you can still use its static type checking, for which I work an example.

#lazyEvaluation and formal theorems are also included.

@mdhughes @screwtape @smlckz @sektor @clew @eduardoochs @dougmerritt

The point is not that static type checking is omnipotent: it isn't, of course.
The point is that it catches _very many_ mistakes that programmers are _prone_ to make.
I say again: mistakes that are _often_ made, not all that can be made _in principle_.

> function addints(int x, int y) : int { return 3; }

This is too trivial.
Warning: variable declared but never used.

#StaticChecks
#StaticTypeChecks
#StaticTyping

Typed Lisp aficionados offer a *mind-blowing* revelation: you too can experience the joy of static typing, but only if you're prepared to navigate a labyrinthine manifesto of type hierarchies and algebraic data types, all while still loving #Haskell 💻✨. Because, apparently, there's nothing more exhilarating than making Lisp even more confusing for beginners 🤯📚.
https://alhassy.com/TypedLisp.html #TypedLisp #StaticTyping #TypeTheory #ProgrammingJoy #ConfusingBeginners #HackerNews #ngated

Las creadoras de `ruff`
deberían ir más allá y sacar un sustituto de `mypy` que, además de que sea mucho menos inestable, que sea muchísimo más rápido.

¿Conocías la maravilla de #ruff?
https://astral.sh/ruff

#Python #dev #PythonDev #Rust #StaticTyping

🐘 The case against static typing in PHP | Tony Marston

https://www.tonymarston.net/php-mysql/against-static-typing-in-php.html

#php #statictyping

Yes, You Can Use Different Types With the Same Structure

This is a story of how we fixed multiple bugs by typing our array indexes.

https://urmaul.com/blog/different-types-same-structure/

#DomainDrivenDesign #StaticTyping

This Friday I had the privilege of giving the Zagreb #Python meetup a talk on the why, when not and how of #statictyping in Python.

We in the Python community are given this incredible choice between writing dynamically typed code for fast prototyping or using a pretty sophisticated (IMO stronger than Java, Go or even C#) type system for bigger projects. Or anything in between.

The situation isn't perfect, of course, but this is still pretty amazing. Most programming languages don't get this.

"Do it in #Rust from the beginning!" - Jon Gjengset

#RustLang #Prototyping #DynamicTyping #StaticTyping

Very nice:

“Parse, Don’t Validate” [2019], Alexis King (https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/).

On HN: https://news.ycombinator.com/item?id=21476261 & https://news.ycombinator.com/item?id=27639890 & https://news.ycombinator.com/item?id=35053118

On Lobsters: https://lobste.rs/s/uemphs/parse_don_t_validate

H/T: Jesse Frazelle

#Programming #Haskell #Validation #StaticTyping

type annotations are cool, but there are definitely cases when they get in the way, like traversing some unknown data structure:

https://github.com/cthoyt/orcidio/blob/70b74a7ba37335fdedea73eca15ce9fdabde93a3/update_wikidata.py#L142-L162

context: this traverses an OBO Graph JSON to find ORCID identifiers, and would be way too complicated to get all corner cases

#typing #statictyping #python #orcid #obo #json #recursion #dynamic

Python con mypy ya me convence más, mucho más!! https://www.mypy-lang.org/ #statictyping

For long there has been debate about #StaticTyping vs #DynamicTyping in #programming. Frequently claims are made that static typing reduces bugs. Purely anecdotally I have not personally found that to be significantly true, and static typing can make coding slower with less flexibility (then again I am a #Tcl guy, and also prefer pure #Javascript to #TypeScript).

Here is a great read that analyses various studies made on the topic: https://danluu.com/empirical-pl/

My back burner side project to get mypy and other type checking into @ParslProject is now explicitly enumerated in one of the grants that funds me, so I'm ramping up on slightly more aggressive rearrangement of code, now the almighty dollar has blessed me.

#MyPy #Python #StaticTyping

Go's a statically typed language for many good reasons. But sometimes we need a bit more flexibility.
Let's check out @joeblubaugh’s "Looking In Go’s Mirror: How and When to Use Reflect" about how the Reflect package can help.

#gopheradvent22
#statictyping
#reflection

Hi all 👋

I'm moving from https://mastodon.social/@alexelcu, again; still experimenting, and with a self-control problem 😅

I'm a #programmer. I love #StaticTyping and #FunctionalProgramming on top of #Scala, #Kotlin, and #Haskell. I'm from #Bucharest, #Romania, and I like to contribute to programming libraries.

I write at https://alexn.org, and I contributed to https://monix.io and to https://typelevel.org.

My bois said hi 👋