On Monday, 22 January 2018 at 23:30:16 UTC, Aedt wrote:
I was asked in Reddit (https://www.reddit.com/r/learnprogramming/comments/7ru82l/i_was_thinking_of_using_d_haxe_or_another/) how would D handle the following similar D code. I'm surprised that both dmd and ldc provides no warnings even with -w argument passed.
Well, if you want to check much at compile time, you probably want SPARK or F* (fstar).
