tardy v0.0.1 - Runtime polymorphism without inheritance

[Stefan Koch]

On Monday, 15 June 2020 at 20:54:27 UTC, 12345swordy wrote:
> On Monday, 15 June 2020 at 20:51:38 UTC, Stefan Koch wrote:
>> On Monday, 15 June 2020 at 20:47:16 UTC, 12345swordy wrote:
>>> On Saturday, 13 June 2020 at 15:11:49 UTC, Atila Neves wrote:
>>>> https://code.dlang.org/packages/tardy
>>>> https://github.com/atilaneves/tardy
>>>>
>>>> [...]
>>> Wouldn't a top type be a better way to achieve this?
>>>
>>> -Alex
>>
>> the Talias in type functions is a top type. (If I do 
>> understand correctly that it is something it's another word 
>> for an Any type.)
>> it's a pain in the ass, to work with if you are not 
>> dynamically typed language.
>
> Speaking of type functions, have you been working on a dip for 
> that? I am quite curious to see what it looks like currently.
> -Alex

Oh no, I haven't. And I am not really a visionary.
I am trying to solve a few concrete problems.
To language addition is a means to an end, for a DIP which is is 
supposed to consider the language at large, I would need help.

Furthermore, I have to see how the implementation plays out.
It would be unwise to spec something that I couldn't implement.