Hindley-Milner type inference in Scala
Sunday, June 28th, 2009I’m working on a spreadsheet application at the moment. (Very exciting.) Part of the implementation obviously includes an expression language (so you can write things like total = sum(numbers) or vat = price × 17.5%).
Part of the design is to disallow things like “text” ÷ 11 or apples + oranges, and for that I need [...]