G
Тебе делать нечего?
?
Size: a a a
2020 March 15
p
Зачем
G
Как ты себе представляешь инфраструктуру языка без сырых FFI биндингов?
p
К идрису
G
Чтобы использовать их в Идрисе
p
А, я думал ты хочешь Идрис к расту подключать
G
В Idris пока всё печально вообще с инфраструктурой
G
С libc-подобным FFI можно будет околосистемные штуки пилить
EG
Сцуко
В кой-то веки решил выбраться за рубеж, а тут Латвия закрывает границу
В кой-то веки решил выбраться за рубеж, а тут Латвия закрывает границу
EG
Деньги за визу небось не отдадут
G
https://josephg.com/blog/3-tribes/amp/ как думаете, Раст к какой группе относится?
Там же про людей, а не про языки?
G
Если ты имел ввиду сообщество Rust, то скорее ко второму лагерю
p
Сцуко
В кой-то веки решил выбраться за рубеж, а тут Латвия закрывает границу
В кой-то веки решил выбраться за рубеж, а тут Латвия закрывает границу
Ну ты вовремя решил попутешествовать😂
EG
Ну ты вовремя решил попутешествовать😂
Метро опаснее, чем самолёт
OA
самолет опаснее метро потому что тебя могут зажопить в другом городе/стране на карантин на пару недель
OA
а метро до таких мест не проложили
EG
самолет опаснее метро потому что тебя могут зажопить в другом городе/стране на карантин на пару недель
Меня и в Москве могут
r
эйнштейн открыл ото математически
Не показатель. Теорию струн тоже открыли математически.
OA
Меня и в Москве могут
из купчино наземная пересадка в москву - 600 км
EG
И я принимал решение до того, как стал понятен уровень паники