narc-rs icon indicating copy to clipboard operation
narc-rs copied to clipboard

Published 20 hours ago • verified publisher icon owo-lang

Re-think about constructor and projection's telescope

Open ice1000 opened this issue 4 years ago • 2 comments

As title.

ice1000 avatar Oct 07 '19 01:10 ice1000

I'd say adding them as explicit parameters to constructors and projectors will be the best choice (

ice1000 avatar Oct 07 '19 01:10 ice1000

I'd say adding them as explicit parameters to constructors and projectors will be the best choice (

But that's gonna lead to inconsistency between constructors and patterns. I'd like to have two telescopes for constructors -- one inferred, one constructed and checked.

ice1000 avatar Oct 08 '19 15:10 ice1000