> (D has) 10x better than any other system language at generic and generative programming. D's static introspection, compile-time evaluation, and mixin-driven code generation combine to a powerful cocktail that is very difficult to mix right in other languages, be they new or extant; at this game, Go is so out of depth it doesn't even get the point; C++17 is hopelessly lost in the woods; and Rust is just trying to dabble.

https://www.quora.com/Which-language-has-the-brightest-future-in-replacement-of-C-between-D-Go-and-Rust-And-Why/answer/Andrei-Alexandrescu изо рта самого коня

про ржавого: 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.

лол, т.е. отход от ML ничего не дал синтаксису

> (D has) 10x better than any other system language at generic and generative programming. D's static introspection, compile-time evaluation, and mixin-driven code generation combine to a powerful cocktail that is very difficult to mix right in other languages, be they new or extant; at this game, Go is so out of depth it doesn't even get the point; C++17 is hopelessly lost in the woods; and Rust is just trying to dabble.

эмм

мне это ничего не говорит

приведи конкретную фичу

про ржавого: 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.

об этом очень сложно судить потому что здесь выражено лишь мнение автора

статический рефлекшон

а ты хотел бы научный пейпер?

статический рефлекшон

это не конкретная фича, в расте есть много фич связанных с статическим рефлекшоном

а ты хотел бы научный пейпер?

хотел бы что-нибудь что хотябы старается быть объектиквным

скучный ты. придется работу работать

?

можешь ответить когда изучишь D

я не буду изучать D, в этом нет никакого смысла

не важно

Помнится как давно изучал что такое DTrace и случайно выучил немного не того D.

а может быть такой бред как свободнейшие стрелки или бистрелки?

да

а у нас вроде чота делали зачем-то

а может быть такой бред как свободнейшие стрелки или бистрелки?

бистрелка это же двойная стрелка, все очень просто

бистрелка это же двойная стрелка, все очень просто

это понятно

а нужны ли стрелки?

белки

и белкИ

Нет, ну правда. В opaleye они чтобы стырить синтаксис. HXT вообще уродлив и неудобен

профункторы - чтобы убрать эффекты, стрелки вмето профункторов только ради синтаксиса

OverloadedArrows давно уже пора

профункторы - чтобы убрать эффекты, стрелки вмето профункторов только ради синтаксиса

идея профункторов и стрелок пересекаются?)

стрелка это strong profunctor же

Вот вот

choice profunctor - arrowchoce

кто для ArrowLoop нужен - не знаю

стоп, стрелки это не что иное как Kleisli?

+

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

про ржавого: 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.

эмелЯ вообще-то от алголов происходят

я думаю он имел в виду {}

да понятно

только какие в алголах {}

вообще, языки меняются по мере такого "происхождения" до неузнаваемости.

к примеру, у Си и эмелей общий предок, на который эмели вполне похожи, а си вообще не похож - iswim

не могу найти как он выглядит

хотя это преувеличение, там какое-то влияние на предков си декларировалось, но от него ничего не осталось, так что лучше общим предком действительно алгол считать

не могу найти как он выглядит

да как ml примерно и выглядит

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

но даже в непосредственном предке си еще let был

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)

алгол в чятике?

или фортран?

это BCPL

:/ я опозорен

А разве бцпл наследует извиму?

он произошел от CPL после заявляемого влияния iswim на него

но это конечно из серии смешных заявлений вроде того, что хаскель на питон повлиял

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

А ты сразу в воскресенье прибываешь?

ага

я уже несколько пожалел что не самолётом в субботу

в следующий раз наверное лучше так буду

Ну да, так менее удобно

ERROR: S client not available

да я с москвой привык на ночных поездах туда - сюда

и поспал и без отелей

@lonokhov продолжая тему prometheus-effect - вроде Оливеру уже продемонстировали, что modifyIORef вещь чреватая при многопоточности, а он всё продолжает "I'm not convinced the atomic primops are necessary."

Ну, зависит от нагрузки конечно. Но спинлок дороже атомика полюбасу.

А чем ему атомики не угодили?

примитивы искнронизации не нужны

вы чо мне тут си устраиваете!!!

идите в свой раст

UnsafeCell::new(Box::new(RwLock::new(Arc::new(Mutex::new(Memes)))))

@lonokhov ну наверное оверхэд смущает, но это лишь догадки, явно не помню чтоб он высказывался

Типа бест кейс оверхед хуже чем у IORef? Ну зато он константный

Хотя там в любом случае CAS, или я что-то не понимаю

Атомики на ffi, или в гхц есть примоп?

же есть примопы

уже

эти ребята которые lock-free пилют делали

Ryan и компания

там на старых ghc фолбак на ffi

30 тиков для CAS с фолбеком на спинлок из atomicModifyIORef

а чем им Counter из atomic-primops не нравится, кстати?

там есть incrCounter без спинлока и CAS лупа

а можно попросить tasty не прятать output?

если у тебя cabal test, то это он прячет output

я прям вообще напрямую запускаю

ну х.з. что он там у тебя пряче тогда

Я всё понял. у них свой counter потому что прометеус всё в double сторит...

то что в stdout пишет етст

а как он это может прятать? меняет Handle в System.IO?

Короче дебилизм с double какой-то

Я всё понял. у них свой counter потому что прометеус всё в double сторит...

Ну в Go же динамическая типизация :)

Го всё портит к чему прикасается