Explore >> Select a destination
|
You are here 
|
frenchy64.github.io | ||
| | | | |
dafoster.net
|
|
| | | | | [AI summary] The article argues that unsound type systems are still valuable for catching errors and improving code consistency, despite not providing the same runtime guarantees as sound type systems. | |
| | | | |
chadaustin.me
|
|
| | | | | This may be the only time I weigh in on the static vs. dynamic typing discussion. Each side has its extreme proponents, and people differ in their ability and desire to work in systems with implicit invariants. Many years ago, back when Java and C++ were the Mainstream Languages and Python was the shiny new up-and-comer, I read Bruce Eckel's arguments in support of dynamically typed languages, and some of the nonobvious (at the time) ways you can get more done at higher quality in a more flexible languag... | |
| | | | |
blog.samibadawi.com
|
|
| | | | | [AI summary] The article discusses the differences between static and dynamic functional programming languages, their use cases, and the author's experience with various languages in the context of natural language processing and machine learning. | |
| | | | |
www.ralfj.de
|
|
| | | My current research project - and the main topic of my PhD thesis - is about developing a semantic model of the Rust programming language and, most importantly, its type system. Rust is an ... | ||
