Thread
Stories related to "Progressive Disclosure of Complexity and Typed FP Languages" across the full archive.
Soft typing: An approach to type checking for dynamically typed languages (1991)
(scholarship.rice.edu)
I don't mean to post this to trigger a religious war. I think it's an interesting discussion. I'm a big Python programmer, but I also love Go. I see both sides of the discussion and I think this article does present a useful take on it.
Fast and Effective Optimization of Statically Typed Object-Oriented Languages (1997)
(www2.eecs.berkeley.edu)
In this dissertation, we show how a relatively and extremely fast interprocedural optimization algorithm can be used to optimize many of the expensive features of statically typed object-oriented languages - in particular, C++ and Java.
We present a new program analysis algorithm, Rapid Type Ana...
Hi HN,<p>I had to put some prototype together in python and I just find it hard to work with it now. Python is something I used to regularly write and then ship code asap, now all the various scenarios where it can fail just runs in my head and I end up implementing multiple strict checks in places ...
I've been thinking a lot about user interface design lately. Specifically, I've been thinking about breaking down large applications supporting myriad of specialized user workflows.<p>I'd be grateful for any shared material you've found helpful for building systems that employee ...
Comparing statically compiled languages to elephants is actually quite fitting.<p>Elephants are strong, reliable, and efficient when properly managed*, just like statically typed/compiled languages (C++, Rust, Go, C#) which offer *performance, safety, and strong guarantees* at compile time.<p>B...
For a weekend project I need to embed something like Lua in a C or C++ application. I'm looking for scripting languages small and fast and easily embeddable like Lua 5.4 is, but with full static typing like TypeScript with all the flags.<p>I can't find a list and it's hard to google s...