Haskell为何选择用++而非+实现字符串（列表）拼接？

Hey there! Great question—this isn’t just arbitrary developer preference; there’s solid type theory and language design philosophy driving this choice. Let’s break it down:

1. Haskell’s Strict Type Class Separation #

In Haskell, + is exclusively tied to the Num type class, which is reserved for numeric types like Int, Float, Integer, etc. Its purpose is clear: perform arithmetic addition on values that represent numbers.

Strings in Haskell are just syntactic sugar for [Char] (lists of characters), and list concatenation is handled by ++—a function designed specifically for combining sequences (lists of any type, not just characters).

This separation isn’t about technical limitation (you could define a custom type class that uses + for concatenation), but about semantic clarity and type safety. Haskell’s type system prioritizes making the intent of code explicit:

• 3 + 5 immediately signals numeric addition
• "hello" ++ "world" immediately signals sequence concatenation

Mixing these would muddy the type system’s clarity and make type inference harder—Haskell avoids overloading operators across unrelated semantic domains.

2. Contrast with Java’s String + #

Java’s use of + for string concatenation is a language-level syntactic sugar, not a general operator overload (Java doesn’t support user-defined operator overload at all). Under the hood, it translates to using StringBuilder or String.concat() to combine strings.

Java’s choice here leans into ease of use for beginners: string concatenation is a common operation, and using + feels intuitive for people coming from other languages or new to programming. It’s a pragmatic trade-off between strict type semantics and approachability.

3. Community Convention Matters #

Even if you wanted to redefine + for list concatenation in your own code, it would go against long-standing Haskell community conventions. Haskell developers rely on consistent operator meanings to read and understand code quickly—redefining + to do something non-numeric would confuse anyone else working with your code.

内容的提问来源于stack exchange，提问作者John Smith