Windows 10 KB5075912 ESU out with shutdown bug fix, direct download links for offline installer (.cab)
Новостная лента: РоссияМеждународные событияЧПОбзоры
。钉钉对此有专业解读
An instance of property-based validation in practice
My original goal was to replicate as much of OCaml-style GADTs as possible in 1SubML. 1SubML already has native support for type witnesses and existential types, so that part would just be syntactic sugar. Just like how the ordinary variant syntax is syntactic sugar for implicitly generating a bunch of wrapper functions, the GADT syntax would be the same, except with implicitly generated witness values, existential types, etc. as applicable.