News for hackers. Stuff that matters.
Re:Orange: A simple systems programming language by exacube on Friday June 26, 2015 @04:18PM (#9787473)
What are the pros of leaving out the type identifier when declaring a generic type? I understand that it's viable to not provide some "Type" identifier to denote a generic type, but I feel like it's better to have it for clarity. What happens when you have a function that accepts two kinds of generic types? This inconsistency doesn't seem worth it to me
Re:Orange: A simple systems programming language by rfratto on Friday June 26, 2015 @04:22PM (#9787493)
Each parameter in a function without a type identifier is a unique generic type. This means any function with two typeless parameters already accepts two different kinds of generic types.