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.