9
Навіщо розробляти мову з унікальними анонімними типами?
Це те, що мене завжди хвилювало як особливість лямбда-виразів на C ++: Тип лямбда-виразу на C ++ є унікальним та анонімним, я просто не можу записати його. Навіть якщо я створюю дві лямбди, які синтаксично абсолютно однакові, отримані типи визначаються як різні. Наслідком цього є те, що а) лямбди можуть …