« Rev
@haskellru   374
Fwd »


Alexander
потому что either A B ~ union
Andrei
Нет, это не union, это std::variant
Aragaer
struct { bool is_pointer; union { char *pointer; int value }};
Andrei
std::variant это union + информация о типе
Vladislav
struct { bool is_pointer; union { char *pointer; int value }};
тяжелое наследие сишечки, не надо так
Aragaer
кому тяжелое наследие, а для меня родной язык практически
Alexander
нормально, не на плюсах же писать, в сам деле
Vasiliy
потому что either A B ~ union
кроме того, что в сях можно обращаться к любым полям, огребая UB :D
Aragaer
так вот по этому is_pointer технически можно сделать специализацию. Если компилятор сильно заморочится
Alexander
ну да struct + union
Alexander
а то начнётся ещё вспоминания про boxing и т.п.
Alexander
@lightgreen а можно хотя бы +1 класс типов?
Alexander
мне чтобы из прокси достать head и tail?
Alexander
для типов
Alexander
там нужно уровне значений case сделать как-то
Aragaer
я тут на днях столкнулся с тем, как гцц может заморочиться...
Aragaer
два строковых литерала склеить может, если один из них заканчивается на другой
Vasiliy
я в хорошем смысле :)
Vasiliy
а так, да, мы тут баг в optional искали
Vasiliy
нашли баг в гцц, который известен, ужасен, фиксу не подлежит
Aragaer
интересно
Aragaer
я где-то год назад нашел регрессию в одном из старых гцц, которая позже была исправлена в более новых, но в том, который у нас, так и осталась
Aragaer
бисектом нашел коммит, который поломал то, что требовалось нам, ревертнул. Нормальное исправление так до сих пор и не искал
Vasiliy
в самом гцц?
Vasiliy
или в своём коде?
Aragaer
в гцц
Vasiliy
мощно
Aragaer
в смысле гцц 4.2.4 делал одну штуку, которую 4.4.7 внезапно не делал
Aragaer
вот как раз то самое склеивание литералов - data relaxing
Vasiliy
я точно не могу сказать, не я лично занимался, да и времени прошло
Vasiliy
проблема была в том, что из функции возвращался optional, в return вставляли голый объект, а в optional попадала херня
Vasiliy
что-то там где-то с какими-то конструкторами перемещения какое-то приключилось совпадение, туды-сюды
Vasiliy
в общем, типичные плюсовые приколы
Зигохистоморфный
какие-то странные названия https://github.com/purescript/purescript-either/commit/ceb6a147debe2a1b9af0732b9ee1f4a76d0c7c49
Алдар
http://www.luna-lang.org/
Vladislav
@qnikst
Alexander
сорри, спал
Vladimir
Ого
Anonymous
http://www.luna-lang.org/
напомнило hiasm
Donat
может кто-нибудь подсказать как получить время вроде "today 06:00" (хочу потом diffUTCTime сделать)?
Anonymous
http://www.luna-lang.org/
Кому-нибудь дали попробовать что это такое? можете поделиться? А то, на меня они походу забили. Ничего не отправляют на почту. Правда, почта была временная, и может кто-другой письмо прочитал и удалил. И как я вижу, их альфа-тест был открыт около года назад. Может уже акончили тест...
Anonymous
@hardliner а что насчет тебя?
Anonymous
Что-то у них все пичально... Написали на пару форумах пару сообщений, подняли пару сайтов и сняли два видео, и все, больше ничего не видно. Но зато, не стисняются такое говорить — Traditional software development is broken by design
Евгений
Откуда последние набеги в наше уютное логово?
Aλexander
Люди мудрость хотят постичь :)
Евгений
Не, просто интересно где рекламят
Vova Starenkyi
@proglibrary
Alexander
как правильно на TH генерить let ... in bar где в ... будет куча выражений kX = ... ?
Alexander
куча = неизвестное заранее количество
Евгений
А какие адвантеджс и дизантеджс у ясода и серванта? Как между ними выбирать? P.S. Писал только на снапе
Artyom
@qnikst так же, как и с одним выражением – через letE
Alexander
через antiquote или как это правильно никак?
Artyom
[| let $(...) in ... |] не сработает
Artyom
только с letE
Alexander
ok
Artyom
letE (concat <$> [ [d| $k = ... |] | blah blah]) [| ... |]
Artyom
вроде так вот можно
Alexander
ага
Alexander
пасиб дальше разберусь
Alexander
[d| .. |] дает DecsQ который поидее в [Q Dec] не превратить?
Artyom
не превратить
Artyom
ну можно fmap head сделать, конечно, если знаешь, что там один Dec внутри
Artyom
я поэтому и написал concat <$> в сообщении
Artyom
к сожалению, чего-то вроде [singledec| |] не существует
Alexander
в общем руками мнадо, понятно
Alexander
печально, но я так больше привык даже
Alexander
так ещё тупой вопрос
Alexander
\a b c -> $(letE myStuff ..)
Alexander
как правильно a,b,c в myStuff использовать*
Alexander
[| \a b c -> $(letE myStuff ...)|]
Artyom
[|a|], [|b|], [|c|]
Alexander
оно именно подставленные имена возьмет?
Alexander
оно же их превратит во что-то типа a2381u2o31
Artyom
не, оно делает согласно правилам скоупинга > (\a -> $([|a|])) 3 3
Artyom
с name shadowing и всем прочим, правда
Artyom
> (\a -> $([|\a -> a|])) 1 2 2
« Rev
@haskellru   374
Fwd »