Different declaration syntaxes ============================== Current ------- func do_stuff Int x Int y returns Bool result code Int r = x + y end - Becomes hard to read with long types. C-like ------ func Bool do_stuff Int x Int y code Int r = x + y end Pascal-like ----------- func do_stuff: Bool x: Int y: Int code r: Int = x + y end + Handles long types nicely: l: List n Numeric String = new - Type goes in the middle of declarations, which IMO makes them harder to read. Really Pascal-like ------------------ func do_stuff: Bool x: Int y: Int local r: Int code r = x + y end + Handles long types nicely + Easy to read declarations - Extra lines to read for the developer