Why Static Typing Came Back • Richard Feldman • GOTO 2022
youtu.be
external-link
This presentation was recorded at GOTO Copenhagen 2022. #GOTOcon #GOTOcphhttps://gotocph.comRichard Feldman - Functional Programming Language Expert & Author...

An interesting take on why dynamically typed languages became so popular and why staticly typed languages are making a comeback.

flatbield
link
fedilink
0
edit-2
1Y

Mostly agree with him. The place I am not sure about is that static typing ever left. Has any enterprise supported language ever been dynamically typed? I do not know of one. The dynamic typed stuff came out of FOSS including early web development. Enterprise never really embraced that anyway. In the end it comes down to speed to write versus scale, speed of execution, and ability to test and standardize. Not sure this has really ever changed.

Other issue is his talk focuses on web development as if it was the only thing out there. Every use case has preferred stuff and drivers. Like quick research programs and data science for example. Most of those languages are dynamically typed. They are also typically throw-away stuff where speed of writing is the defining factor and speed of execution is not. The big counter balance there is sometimes speed is important. The issue there is execution speed on multicore systems where compiler auto parallel and auto vectorization can trivially generate C code that is 100X the speed of a basic Python app. So the story there is can you productively write code that can generate hardware specific compiled code that is parallel and how hard is that code. In Python you actually can using a combination of numpy and numba together so it is not a limitation always but it takes some thought and probably depends on the kind of code your writing. In C, just write good loops and turn on the compiler flags and done. So sometimes just better to write some C code.

Many Shapes
link
fedilink
2
edit-2
1Y

Regarding the question of any enterprise language being dynamically typed, Id argue lisp (of the common variety) was supported by developed by and inovated by corporate folks, and is dynamically typed. Symbolics, Xerox, etc. Dynamic typing has been around for a long while.

flatbield
link
fedilink
21Y

I do not think Lisp was ever an enterprise language. Might have been used in R&D, and sure it is in a few products. CAD software sometimes uses Lisp as the extension language. That does not make it an enterprise language, though I guess it depends on definition.

Create a post

All things programming and coding related. Subcommunity of Technology.


This community’s icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.

  • 1 user online
  • 2 users / day
  • 2 users / week
  • 8 users / month
  • 98 users / 6 months
  • 1 subscriber
  • 302 Posts
  • 2.15K Comments
  • Modlog