Leonid 🦇
статический рефлекшон
Leonid 🦇
а ты хотел бы научный пейпер?
Anonymous
статический рефлекшон
это не конкретная фича, в расте есть много фич связанных с статическим рефлекшоном
Leonid 🦇
скучный ты. придется работу работать
Anonymous
🤔
Anonymous
можешь ответить когда изучишь D
Leonid 🦇
я не буду изучать D, в этом нет никакого смысла
Anonymous
не важно
Anonymous
Помнится как давно изучал что такое DTrace и случайно выучил немного не того D.
Зигохистоморфный
а может быть такой бред как свободнейшие стрелки или бистрелки?
Alexander
да
Alexander
а у нас вроде чота делали зачем-то
Anonymous
а может быть такой бред как свободнейшие стрелки или бистрелки?
бистрелка это же двойная стрелка, все очень просто
Leonid 🦇
а нужны ли стрелки?
Alexander
белки
Alexander
и белкИ
Leonid 🦇
Нет, ну правда. В opaleye они чтобы стырить синтаксис. HXT вообще уродлив и неудобен
Alexander
профункторы - чтобы убрать эффекты, стрелки вмето профункторов только ради синтаксиса
Alexander
OverloadedArrows давно уже пора
Зигохистоморфный
профункторы - чтобы убрать эффекты, стрелки вмето профункторов только ради синтаксиса
идея профункторов и стрелок пересекаются?)
Alexander
стрелка это strong profunctor же
Leonid 🦇
Вот вот
Alexander
choice profunctor - arrowchoce
Alexander
кто для ArrowLoop нужен - не знаю
Зигохистоморфный
стоп, стрелки это не что иное как Kleisli?
Alexander
+
Зигохистоморфный
freer arrows что-то страшное)
Зигохистоморфный
ох! http://hackage.haskell.org/package/multivariant-0.1.0.1/docs/Control-Invertible-BiArrow-Free.html
Зигохистоморфный
найдено тут http://dspace.kpfu.ru/xmlui/bitstream/handle/net/110738/marchenko_ziatdinov_svobodnyie_bi_strielki.pdf?sequence=1
Зигохистоморфный
ох е... https://gist.github.com/lspitzner/9440fef9816bf8b9610be7376cb0e47c#file-kinds-txt-L57
A64m
про ржавого:
Foreign syntax. Rust's syntax is different, and there's no apparent advantage to the difference. This is irritating for folks coming from Algol-style languages, who need to deal with a gratuitously different syntax in addition to getting the resource bookkeeping right.
эмелЯ вообще-то от алголов происходят
Leonid 🦇
я думаю он имел в виду {}
A64m
да понятно
A64m
только какие в алголах {}
A64m
вообще, языки меняются по мере такого "происхождения" до неузнаваемости.
A64m
к примеру, у Си и эмелей общий предок, на который эмели вполне похожи, а си вообще не похож - iswim
Anonymous
не могу найти как он выглядит
A64m
хотя это преувеличение, там какое-то влияние на предков си декларировалось, но от него ничего не осталось, так что лучше общим предком действительно алгол считать
A64m
это просто бумажный язык, имплементировать его в то время было невозможно
A64m
но даже в непосредственном предке си еще let был
A64m
GET "LIBHDR"
LET START() = VALOF $(
FOR I = 1 TO 5 DO
WRITEF("%N! = %I4*N", I, FACT(I))
RESULTIS 0
$)
AND FACT(N) = N = 0 -> 1, N * FACT(N - 1)
Alexander
алгол в чятике?
Alexander
или фортран?
A64m
это BCPL
Alexander
:/ я опозорен
Евгений
А разве бцпл наследует извиму?
A64m
он произошел от CPL после заявляемого влияния iswim на него
A64m
но это конечно из серии смешных заявлений вроде того, что хаскель на питон повлиял
Alexander
ну все купил билеты на fby и назад, надо придумать как там зачекиниться в отеле, а то регистрация там начинается позже чем fby
Vitaly
А ты сразу в воскресенье прибываешь?
Alexander
ага
Alexander
я уже несколько пожалел что не самолётом в субботу
Alexander
в следующий раз наверное лучше так буду
Vitaly
Ну да, так менее удобно
Alexander
да я с москвой привык на ночных поездах туда - сюда
Alexander
и поспал и без отелей
Kirill
@lonokhov продолжая тему prometheus-effect - вроде Оливеру уже продемонстировали, что modifyIORef вещь чреватая при многопоточности, а он всё продолжает "I'm not convinced the atomic primops are necessary."
Leonid 🦇
Ну, зависит от нагрузки конечно. Но спинлок дороже атомика полюбасу.
Leonid 🦇
А чем ему атомики не угодили?
Alexander
примитивы искнронизации не нужны
Alexander
вы чо мне тут си устраиваете!!!
Alexander
идите в свой раст
Anonymous
UnsafeCell::new(Box::new(RwLock::new(Arc::new(Mutex::new(Memes)))))
Leonid 🦇
Kirill
@lonokhov ну наверное оверхэд смущает, но это лишь догадки, явно не помню чтоб он высказывался
Leonid 🦇
Типа бест кейс оверхед хуже чем у IORef? Ну зато он константный
Leonid 🦇
Хотя там в любом случае CAS, или я что-то не понимаю
Leonid 🦇
Атомики на ffi, или в гхц есть примоп?
Alexander
же есть примопы
Alexander
уже
Alexander
эти ребята которые lock-free пилют делали
Alexander
Ryan и компания
Leonid 🦇
там на старых ghc фолбак на ffi
Leonid 🦇
30 тиков для CAS с фолбеком на спинлок из atomicModifyIORef
Leonid 🦇
а чем им Counter из atomic-primops не нравится, кстати?
Leonid 🦇
там есть incrCounter без спинлока и CAS лупа
Alexander
а можно попросить tasty не прятать output?