🚀 go-pugleaf

Wojciech Muła wrote:
> Tomasz Zielonka wrote:
>> Często reklamuje się go jako język funkcyjny z efektywną implementacją,
>> ale wiele funkcyjności i elegancji poświęcono w nim dla efektywności,
>> czasem w głupi sposób.
>
> Na przykład co?

Na przykład imperatywny typ string. Rozumiem imperatywne łańcuchy w C++
- tam modyfikuję przeważnie prywatną kopię. W OCamlu przy semantyce
przekazywania obiektów przez referencję to dosyć dziwny wybór. Łatwo coś
zepsuć. Rozważ poniższy przykład:

    # let f = function false -> "aaa" | true -> "bbb";;
    val f : bool -> string = <fun>
    # (f false).[0] <- 'X';;
    - : unit = ()
    # (f true).[0] <- 'Y';;
    - : unit = ()
    # (f false);;
    - : string = "Xaa"
    # (f true);;
    - : string = "Ybb"

Dodatkowo brak w standardowych bibliotekach funkcji do konwersji
string->char list i na odwrót. Dziwi mnie trochę opinia Xaviera Leroy na
ten temat:

    Actually, the list representation of strings is so repugnant that I
    don't even want to include "explode" and "implode" coercions between
    string and char list in the standard library.  A standard library
    should steer users away from algorithmically-inefficient code.  By
    not having implode and explode in the library, I hope OCaml
    programmers will come to the realization that the proper way to
    operate on strings is either via block operations (the String
    module, regexps, etc), or by recursion on integer indices.

A więc traktuje się programistów OCamla jak dzieci, które trzeba
prowadzić za rączkę, żeby nie zrobiły sobie krzywdy. Efekt jest taki, że
wiele osób samodzielnie pisze implode i explode.

Mi osobiście bardzo podoba się to, że w Haskellu type String to
po prostu lista znaków. Ten sposób podkreśla, czym rzeczywiście
jest ciąg znaków. Niemożliwe jest stworzenie typu napisowego, który
jest efektywnościowo idealny - dlatego przy projektowaniu języka
czasem lepiej jest w ogóle zapomnieć o efektywności i skupić się na
elegancji. Efektywność można osiągnąć używając zewnętrznej,
niestandardowej reprezentacji napisów, odpowiedniej do aktualnych
wymagań wydajnościowych.

Pozdrawiam
Tomasz