Size: a a a

Programming Offtop

2021 February 12

AK

Anton Korotkikh in Programming Offtop
Алексей
Только в жабе корутин нет. Так что джава уже не збс. И кто теперь проиграл?
ну нет, и что?
для конкаренси в cpu нагрзуках хватит и обычного util.concurrent и executors по идее

для IO, есть vertx и project reactor (то ещё извращение, но многим видимо нравится). задачи решаемы, в общем.
источник

(

( in Programming Offtop
Ilmir
grammar Calculator {
   token TOP { <calc-op> }

   proto rule calc-op          {*}
         rule calc-op:sym<add> { <num> '+' <num> }
         rule calc-op:sym<sub> { <num> '-' <num> }

   token num { \d+ }
}

class Calculations {
   method TOP              ($/) { make $<calc-op>.made; }
   method calc-op:sym<add> ($/) { make [+] $<num>; }
   method calc-op:sym<sub> ($/) { make [-] $<num>; }
}

say Calculator.parse('2 + 3', actions => Calculations).made;

А именно, разделение логики и грамматики. Это потребует заката солнца вручную и поддержку в компиляторе, чтобы выразить в статически-типизированном языке.
дык подожди, фича-то в чем? В том, что ты можешь написать интерпретатор некоторого языка?
источник

VP

Vladimir Petrakovich in Programming Offtop
Anton Korotkikh
ну нет, и что?
для конкаренси в cpu нагрзуках хватит и обычного util.concurrent и executors по идее

для IO, есть vertx и project reactor (то ещё извращение, но многим видимо нравится). задачи решаемы, в общем.
Ты так пишешь, будто в котлине всего этого нет
источник

А

Алексей in Programming Offtop
Anton Korotkikh
ну нет, и что?
для конкаренси в cpu нагрзуках хватит и обычного util.concurrent и executors по идее

для IO, есть vertx и project reactor (то ещё извращение, но многим видимо нравится). задачи решаемы, в общем.
конечно решаемы, только корутины в языки завозят не от того что без них так хорошо решать задачи
источник

I

Ilmir in Programming Offtop
(
дык подожди, фича-то в чем? В том, что ты можешь написать интерпретатор некоторого языка?
Интерпретатор-то я могу написать и на брейнфаке. Фича в том, что для того, чтобы подобное написать на статически-типизированном языке, надо лезть в компилятор. На том же лиспе она реализуется на раз-два.
источник

(

( in Programming Offtop
Ilmir
Интерпретатор-то я могу написать и на брейнфаке. Фича в том, что для того, чтобы подобное написать на статически-типизированном языке, надо лезть в компилятор. На том же лиспе она реализуется на раз-два.
Я не могу понять, для чего именно нужно будет лезть в компилятор, чтобы написать подобное на статически-типизированном языке
источник

(

( in Programming Offtop
лиспа я не знаю, если что, листинги читаю интуитивно
источник

AK

Anton Korotkikh in Programming Offtop
Vladimir Petrakovich
Ты так пишешь, будто в котлине всего этого нет
нет. я просто пишу со стороны жабы. как язык она попроще котла, но позволяет вполне спокойно решать те же самые задачи на беке, не более того.

иногда мне кажется, что мы поменялись местами, когдая вкатился в этот чятик, то орал "грин треды! асинк!11", мне посянили "таа... хуй с ним, и так можно". теперь "корутины! удобна! лучше чем жаба!" - "та хуй с ним, и не жабе норм"
источник

А

Алексей in Programming Offtop
Anton Korotkikh
нет. я просто пишу со стороны жабы. как язык она попроще котла, но позволяет вполне спокойно решать те же самые задачи на беке, не более того.

иногда мне кажется, что мы поменялись местами, когдая вкатился в этот чятик, то орал "грин треды! асинк!11", мне посянили "таа... хуй с ним, и так можно". теперь "корутины! удобна! лучше чем жаба!" - "та хуй с ним, и не жабе норм"
тогда уж на го писать
источник

А

Алексей in Programming Offtop
чтобы совсем просто было
источник

А

Алексей in Programming Offtop
проще жабы
источник

(

( in Programming Offtop
Ilmir
Теория типов - это присваивание множеству числа. Множества с 0 не могут содержать множеств, только обычные элементы. Множества с 1 могут содержать обычные элементы и множества с 0. Короче, множества с N не могут содержать множества числа >= N.
Только таким образом парадокс Рассела решают в языках, где можно выразить парадокс Рассела
и.е. завтипных
источник

VP

Vladimir Petrakovich in Programming Offtop
Anton Korotkikh
нет. я просто пишу со стороны жабы. как язык она попроще котла, но позволяет вполне спокойно решать те же самые задачи на беке, не более того.

иногда мне кажется, что мы поменялись местами, когдая вкатился в этот чятик, то орал "грин треды! асинк!11", мне посянили "таа... хуй с ним, и так можно". теперь "корутины! удобна! лучше чем жаба!" - "та хуй с ним, и не жабе норм"
Ты тогда орал про богоподобный event loop в ноде, а тебе отвечали про нормальную многопоточность.
Грин треды - это всегда хорошо, но не всегда повод спускаться до го.
источник

AK

Anton Korotkikh in Programming Offtop
Алексей
тогда уж на го писать
ну так и пописываю. мне ещё подсознательно очень нравится typed racket, но я не обмазывался и сдаётся мне, что практической пользы мало - экосистема пустая
источник

I

Ilmir in Programming Offtop
(
Только таким образом парадокс Рассела решают в языках, где можно выразить парадокс Рассела
и.е. завтипных
Число 0 - обычные типы (строки, числа и тп), число 1 - дженерики, число 2 - ХКТ. Покажи мне пример числа 3.
источник

VP

Vladimir Petrakovich in Programming Offtop
Суть спора не очень понятна. Действительно, можно писать на джаве, она становится лучше.
источник

I

Igor in Programming Offtop
Пасибо, смотрю 👌
источник

AN

Alexander Nozik in Programming Offtop
Vladimir Petrakovich
Суть спора не очень понятна. Действительно, можно писать на джаве, она становится лучше.
Да нет спора. Антон как всегда набрасывает ради наброса. Все, собственно, спускают пар, как умеют.
источник

(

( in Programming Offtop
Ilmir
Число 0 - обычные типы (строки, числа и тп), число 1 - дженерики, число 2 - ХКТ. Покажи мне пример числа 3.
Нет, ты говоришь про юниверсы a : Type, Type : Type 1, Type 1 : Type 2 и т.д.
женерики/хкт ортогональны, это средства универсальной квантификации, с какой бы аксиоматикой их не рассматривать
источник

I

Igor in Programming Offtop
Кирилл Романенко
@angmarr слушай, я сейчас чёт подумал...
Ты ж задолбался там у себя на работе со своим клином, рксом и прочим.
Пойдём к нам, у нас котлин, теа, корутины, ещё и композ хотим затащить, когда он хотя бы в стабильной бете будет.)
Спасибо за предложение, но действительно нету планов менять один андроид на другой
источник