小编Nik*_*ika的帖子

这个问题可能是 na\xc3\xafve，所以请随时向我询问澄清。我是从数学背景进入计算机科学的，所以人们一直告诉我像 Haskell 这样的函数式编程语言对我来说会感觉很自然，但我发现很多语言（不仅仅是函数式语言）的语法非常丑陋和不直观。

在 Haskell 中，举一个小例子，类型声明是用 编写的::，例如，

str :: String \nstr = "Hello, World!"\n

有什么方法可以让我修改我自己系统中的语法，以便 的功能::可以由其他东西执行，例如:::，或者也许;;，或者更好:is_a:，这样我就可以执行与上面相同的功能：

str ::: String \nstr = "Hello, World!"\n

需要明确的是，如果我修改系统中的语法，我并不担心任何关于共享代码困难的务实问题；我只是想知道理论上是否可以修改编程语言的基本语法，如果可以，如何修改。

请随时修改标签，或要求澄清。