相关疑难解决方法(0)

假设我们创建了C的重新实现,唯一的区别是推断了类型.仍然需要给出存储类和修饰符(const,static,restrict等),让我们暂时将注意力限制在单个文件C程序上.可以吗？主要障碍是什么？

关于什么可能导致类型推断问题的一些想法

• 具有相同字段名称的结构需要手动消除歧义
• 对于具有相同字段名称的联盟也是如此

• 演员可能需要一个"从"注释,类似于

  var i = (uint32_t -> uint64_t) *some_pointer;
  

  Run Code Online (Sandbox Code Playgroud)

这些问题需要一些用户注释,但不应该太繁琐,是否有一些将这个想法从水中吹出的杀手问题？

编辑:为了澄清,我不是在谈论添加泛型或参数多态,只是对现有C类型进行类型推断.

编辑2014:任何对此概念感兴趣的人都可能想要研究Rust