Stream: t-lang

Topic: Structural typing types API

Charles Lew (Nov 16 2019 at 02:23, on Zulip):

Hello, may i ask a language design question here?

Charles Lew (Nov 16 2019 at 02:24, on Zulip):

I believe currently tuples are the only structural typing types in the language, and the API surface for tuples is especially lacking.

Charles Lew (Nov 16 2019 at 02:25, on Zulip):

Both 'creating' tuples from code and 'reflection' on the internal structure of tuples are not satisfying.

Charles Lew (Nov 16 2019 at 02:28, on Zulip):

The Fn* series traits have long been blocking on this affair settled, with the consideration of supporting variadic arguments.

Charles Lew (Nov 16 2019 at 02:32, on Zulip):

I've beening thinking, whether allowing all structural typing values as arguments of Fn* traits, and design some minimal reflection-like API for all structural typing values is feasible. This will unblock the Fn* traits stablization, i think.

Last update: May 27 2020 at 23:10UTC