Почему values в racket не first class citizen?

Почему же? first-class.

Немного поясню, с точки зрения семантики (values x ...) = (let/ec k (k x ...))

Почему бы не сделать нормально?

А нормально — это как? Приравнять values к списку или массиву? Так просто не используй values, а используй список или массив.

Можно так

(define-syntax-rule (values->list form)
    (call-with-values (lambda () form) list))

> (eq? (values->list (values 1 2)) (values->list (values 1 2)))
#f
> (equal? (values->list (values 1 2)) (values->list (values 1 2)))
#t

я-то стараюсь не использовать, но некоторые библиотечные функции, или тот же for/fold возвращают values

некоторые библиотечные функции, или тот же for/fold возвращают values

Тогда используй values->list. :-)

нормально не получится

<mithos28> just like you can call a function with multiple arguments, a function can return multiple values
<mithos28> They are a low level detail, mostly used to avoid doing allocation
<ijp> multiple values are calling a continuation with more than one arguments
<ijp> more or less than one

just like you can call a function with multiple arguments, a function can return multiple values

И что? К списку аргументов функции можно же получить доступ как к списку. Так чем возвращаемый список значений значений хуже?

Делаем: (values 1 2) == (list 1 2), (values 1) == 1. Семантику *-values оставляем неизменной. То есть (define-values (a b) '(1 2)) будет работать.

Что теряем?

К списку аргументов функции можно же получить доступ как к списку.

Нельзя. Этот «список» аргументов - на самом деле один аргумент, который список.

Что теряем?

Теряем возможность для ф-й возвращать несколько аргументов. Все будут возвращать один аргумент,

Этот «список» аргументов - на самом деле один аргумент, который список.

(lambda args (length args)) считает свои аргументы или длину одного аргумента? Если одного, то как работает ((lambda args (length args)) 'a 'b 'c) ?

Теряем возможность для ф-й возвращать несколько аргументов.

В Erlang http://www.erlang.org/doc/man/gen_tcp.html#connect-3 возвращает {ok, Socket} или {error, Reason}. Чем это отличается от возврата (values 'ok Socket) | (values 'error Reason)?

В Erlang http://www.erlang.org/doc/man/gen_tcp.html#connect-3 возвращает {ok, Socket} или {error, Reason}. Чем это отличается от возврата (values 'ok Socket) | (values 'error Reason)?

Тем, что продолжение (values 1 2) должно принимать два аргумента, а не один. Если оно будет принимать список - это будет один аргумент.

Если оно будет принимать список - это будет один аргумент.

Вон в Haskell все функции принимают только один аргумент и никому это не мешает. Но в целом согласен, неоднозначность.

А я и не говорил, что отсюда появляется какая-то особая выразительная мощь :)

Тем, что продолжение (values 1 2) должно принимать два аргумента, а не один.

Так ведь всё равно (values a b) это не два аргумента (list (values 1 2)) != (list 1 2). Что было бы плохого, если бы values была контекстно зависимой с преобразованием в список если попала в позицию аргумента? Обратное преобразование автоматическим быть не может — согласен, так как (values (list 1 2)) и (values 1 2) равновероятны в контексте (let-values ...). Ну так из списка преобразование тривиально: (apply values l).

Так ведь всё равно (values a b) это не два аргумента

Это не два аргумента, это штука, которая сует два аргумента своему продолжению. В случае (list (values 1 2)) продолжение (values a b) принимает один аргумент. Ему пытаются сунуть два - ошибка. Чтобы ошибки не было, надо чтобы сколько аргументов values сует, столько продолжение и принимало.