(chriskiehl.com)

873 points belter | 1 comments | 05 Feb 25 09:50 UTC | HN request time: 0.213s | source

Show context

cies ◴[05 Feb 25 11:21 UTC] No.42946972[source]▶

> Gradual, dependently typed languages are the future

I really interested why the author thinks this.

I've seen the general sentiment wrt "the future" go from C to C++ to Java to Ruby to JS (also server-side) and Python.

My own sentiment went from Ruby to Haskell to, well, Kotlin I guess...

I looked into Idris (dependently typed), but did not think it would fit the Overton window[1], to be a reasonable expectation for the future.

1: https://en.wikipedia.org/wiki/Overton_window

replies(2): >>42947202 #>>42949231 #

1. lucasoshiro ◴[05 Feb 25 14:51 UTC] No.42949231[source]▶

>>42946972 #

> to C++ to Java to Ruby to JS (also server-side) and Python

I feel that languages are going back to static typing. Newer languages such as Go, Rust, Kotlin, Swift, Dart, Nim etc are all statically typed (I can't remember a language from the last decade that is dynamically typed).

Even some dynamically typed languages are moving towards a more static typed system: for JS we have TS, and for Python we have type hints

↑

Software development topics I've changed my mind on