Proposal: First class types (at compiletime)

[jmh530]

On Thursday, 20 July 2023 at 15:46:26 UTC, TheGag96 wrote:
> On Thursday, 20 July 2023 at 15:11:39 UTC, Commander Zot wrote:
>> and it wouldn't need too much changes i think (but i might be 
>> wrong there):
>
> Unfortunately, I think that may be the case. Work has actually 
> been done to explore in this in the past by Stefan Koch under 
> the name "type functions":
>
> https://forum.dlang.org/post/swuxfggqgibqbxoaiheg@forum.dlang.org
>
> He had a WIP implementation and everything. However, it wasn't 
> met with much reception from the higher-ups and was more or 
> less dropped, I think. Languages like Jai and Zig it seems have 
> shown this as largely been a mistake... [snip]


You mean dropping it was a mistake? Or you mean type functions 
are a mistake? (if so, can you explain more what those languages 
had an issue with)