Nice article! Highly related discussions: https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347 https://github.com/fsharp/fslang-sugg

Nice article! Highly related discussions: https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347 https://github.com/fsharp/fslang-suggestions/issues/243#issu... https://old.reddit.com/r/ProgrammingLanguages/comments/placo6/don_syme_explains_the_downsides_of_type_classes/ https://old.reddit.com/r/ProgrammingLanguages/comments/placo... F# designer Don Syme is making the "biformity" argument, e.g. needing a debugger for compile time as well as runtime. and Syme & Matsakis: F# in the Static v. Dynamic divide https://old.reddit.com/r/ProgrammingLanguages/comments/rpcm65/syme_matsakis_f_in_the_static_v_dynamic_divide/ https://old.reddit.com/r/ProgrammingLanguages/comments/rpcm6... I still think something an application language with something like Zig's comptime would fill a big niche. (As opposed to a systems language.)