Д
rlwrap поставь и запускай rlwrap {idris_repl}
Size: a a a
2021 May 30
Д
Без скобочек) я прост чтобы выделить что я не знаю как запускается репл идриса
Д
rlwrap idris видимо надо
[
норм
Д
Вообще rlwrap топ тема особенно для всяких телнетов и неткатов
s
Топ костыль, да.
Д
Ну пока идрис экспериментальный я думаю у них более важные дела есть чем делать удобный repl
TK
Сильный ДоДоге и милый ДогеДоге
TK
Person? person;
Person‽ person;
Person¿ person;
Person‽ person;
Person¿ person;
Д
Person!!طرت-رتغبباب،ذقت
а
Person!!bi-smi llahi r-rahmani r-rahimi
NL
Что-то временное окно для Котлина становится всё уже и уже, скоро в Джаве реализуют все ништяки, которым так хвастался Котлин и он будет вытеснен с пляжа.
Последний бастион это, как я понимаю, корутины, которые есть в Котлине, но (ещё) отсутствуют в Джаве.
Последний бастион это, как я понимаю, корутины, которые есть в Котлине, но (ещё) отсутствуют в Джаве.
Д
это не спасет джаву от перегруженного синтаксиса)
Д
обратную совместимость никто не отменял
Д
хотя джавистам наверное нравится писать Person person = new Person()
NL
Спасёт, запилят поддержку в intellij и будут писать как миленькие. И даже будут доказывать, что это отличный синтаксис, не то что ваши опшионы.
AC
у котлина синтаксис относительно няшный
NL
Ну то есть да, синтаксис у Джавы уродский, но это нисколько не мешает большим компаниям нанимать тысячи джавописателей и писать еэрпихи и опердни.
pl
rust вытеснит жаву?