вот, гарантируется ли в первом и втором случае что a вычислено до WHNF

(интересует теоритическая гарантия, а не то, что в большинстве случаев будет на практике)

в первом случае тоже case в начале?

не вижу, откуда могут возникнуть сомнения

сравнение с 5 вычисляет seq a (error "foo" :: Int), которое вычисляет a

и с evaluate та же петрушка

а на практике что?

с того, что очередность выполнения первого и второго агрумента не определена

исключение может выполниться раньше, чем выполнится a

вывалиться

на практике, скорее всего вычислится

а, действительно, я первый раз прочитал доку на seq

тогда в обоих случаях нет гарантии

то есть в обоих случаях может исключение вылететь раньше, чем вычислится a

вот мне тоже так кажется

опять же, непонятно, откуда сомнения

ну мало-ли

может ghc specifics на которые все опираются

мне просто интересно почему для линейных типов другого поведения ожидают

если нужна гарантия, то evaluate a >> error "foo", если у тебя есть IO, и error (seq a "foo"), если без IO

может, наоборот, хочется определённости, и для этого вводят определённость в линейные типы? а seq тут совсем ни при чём

нет, людям хочется = они безосновательно решили, что линейные типы должны им это предоставлять

если нужна гарантия то есть pseq

впрочем, насчёт error (seq a "foo") я не прав. здесь a вычитслится до того, как исключение будет выведено на экран, только и всего

@A64m_qb0 а ты понял про какие проблемы с unboxed Картер говорил?

что в спеке не сказано, что значит что unboxed value использована?

лещинский молодец

Это вы про что?

прополаз linear-types

там треш и угар в коментариях

расскажите когда закончится это всё, прочту потом одним дублем с выражением

лучше достоевского книжку возьми, меньше времени потратишь

Достоевского я уже читал, а это нет. Жизнь слишком коротка, чтобы книжки перечитывать.

@A64m_qb0 а ты понял про какие проблемы с unboxed Картер говорил?

емнип он говорил, что Анрестриктед добавляет индерект в анбоксед туплах, т.е. все основанные на них оптимизации вроде условно-бесплатного IO для линейного хаскеля недоступны

да пофиг

где-то в самом начале обсуждения вопрос-ответ

этот пропозал про тайпчекер, а не про эффективность же

ради эффективности можно Unrestricted# притащить, работающий примерно как ByteArray# наверное?

(# Int#, Unrestricted# Int# #)

ну эффективность IO-трюка для хаскеля штука довольно важная, тормозной LIO это неприятно

где Unrestricted# :: # -> # имеет тот же размер, и прочее

не все сразу же

может ещё сразу отвельный хип запилить?

отдельный хип можно и самому накостылить

своё IO тоже

я за последние 2 дня три шутки сделал : ]

btw unrestricted is done on the library level too

опс

в общем анрестриктед тоже уровня библиотеки сейчас

хм..

неожиданно

у них проблемы будут если это не что-то специальное

т.е. ливити полиморфный newtype Unrestrictited# a= Unrestricted# a незя

возможно даже для # он будет криво работать

Ребята, кто сможет сказать, где я свернул не туда с разбором результатов запроса к БД? https://i.imgur.com/b8trUrl.png

выглядит как нечто невероятно стремное

Кажется, что можно было использовать »= вместо case

>>=

А ещё do-нотация

Хотя нет

Недосмотрел

а можно пасты текстом чтобы их копировать можно было?

очень не круто перечепятывать

class FromRow a where fromRow :: [SqlValue] -> Maybe a instance FromRow User where fromRow (id_: other) = case id_ of SqlInt64 eid -> case other of (SqlByteString nm : SqlByteString pwd : SqlByteString vn: []) -> case map decodeUtf8' [nm, pwd, vn] of (Right nm : Right pwd : Right vn: []) -> Just $ User (toInteger eid) nm vn pwd _ -> Nothing _ -> Nothing _ -> Nothing fromRow _ = Nothing

текстом читать без перепечатывания тяжелее

текст редактируется в отличие от скриншотов

ну и “читабельность” это субъективно

Есть http://lpaste.net/

fromRow (id_, other) = do SqlInt64 eid <- Just id_ (SqlByteString nm : SqlByteString pwd : SqlByteString vn: []) <- Just other Right [nm, pwd, vn] <- pure $ traverse decodeUtf8 [nm, pwd, vn] pure $ User (toInteger eid) nm vn pwd

например так

с view patterns можно наверное попроще

хотя блин гораздо ж проще

fromRow (SqlInt64 eid, [d -> Just nm, d -> Just pwd, d -> Just vn]) = Just $ User eid nm pwd vn where d (SqlByteString nm) = either (const Nothing) Just $ decodeUtf8' nm d _ = Nothing fromRow _ = Nothing

вот так например

d можно в свою либу куда-нить вытащить, наверняка ведь активно используется

это persistent или *-simple с такими ужасными инстансами?

Да не, это я тыкаю палочкой язык на тупом примере регистрация-авторизация

Кстати, а как узнать о View Patterns, если ни разу до этого их не трогал?

в *-simple не такой энторфейс

а, я понял вопрос. Это Database.HDBC

и класс я вписал сам, посмотреть что получится