#statictyping — Public Fediverse posts

Today at work I learned that you can make `.d.ts` files adjacent to `.js` files and TypeScript's compiler (and IDEs) can treat it just like Ruby + RBS sidecars! 😍

#JavaScript #TypeScript #Ruby #StaticTyping #TypeHints #DynamicLanguages #Programming

@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

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

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

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

🐘 The case against static typing in PHP | Tony Marston

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

#php #statictyping

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

#RustLang #Prototyping #DynamicTyping #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/

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

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.

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

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

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

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 👋

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

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

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

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