Comment on Idris, a language that will change the way you think about programming (2015)parentComments−kazinator10yIf you lifted those braces out, you'd still know that the intent wasThat's also true if the intent is ambiguous (the braces say one thing and the indentation something else).Hey, remove the braces and the intent is clear now!−a3n10yYes there are advantages to braced blocks. I sometimes miss them, but mostly not.
Comments
That's also true if the intent is ambiguous (the braces say one thing and the indentation something else).
Hey, remove the braces and the intent is clear now!
Yes there are advantages to braced blocks. I sometimes miss them, but mostly not.