Erlang type system efforts

Hi all, just a quick note to say I agree with Peer that it’s important to highlight the shortcomings of things like static typing but I also agree with Louis that a dedicated or linked thread for that may be best (a bit like our What do you think should be in OTP? and What do you think should not be in OTP? threads).

It’s also completely normal for threads to develop forks like this and so what we usually do is when it seems necessary we split them into dedicated thread/s. When I get a moment I’ll do that here and post a link back to that thread (I’ll also do a bit of general clean up so the threads can get back on track).

I’m going to move this thread to the moderation queue for now, then once it has been sorted out will move it back to the main forum. Thanks for your patience and understanding.

Edit: done - here’s the link to the split thread: Static Typing discussion (split thread)

2 Likes