Alexey
и место на диске расчищает от программ на чужих языках..
Alexander
неиклюзивно!
պլհկ
Второй, первый ред хат
Loo
Раст такой ахуенный что можно сегфолтнуться работая с биндингами лмдб
Alexander
с байндингами лмдб и Haskell сегфолтнуть можно
Alexander
лмбд очень хорошо расставляет ноги вокруг, чтобы а них стрелять удобнее было
Loo
Я вот расстрелял
Alexander
я ж говорю, я пару недель потратил на то чтобы работу с лмдб в хаскелле до ума довести если не больше
Alexander
на расте примерно та же веселуха будет, даже поопаснее
Alexander
(правда там есть life-time, которые может помочь могут)
Alexey
поэтому надо брать и писать на Си, и не париться!
Alexander
в си не проще
Alexander
просто там ты к этому всему заранее готов
Vladimir
Согласен, Раст делает из людей обезьянку - компилятора
Vladimir
Сидят исправляют советы бороучекера
Anton
Vladimir
И радуются что программа написанная уже компилятором а не ими, работает
Anton
Ну че пацаны
Anton
Купил
Anton
Ща проверю
Loo
Согласен, Раст делает из людей обезьянку - компилятора
Да я такой. Как сказал Федор Логачев - ты просто делаешь то что говорит конпелятор
doc
Грац
Alexander
на нормальных языках все всегда так делают
Alexander
написали кусок мелкий, а дальше вперёд за компилятором
Alexey
а чобы компилятору тогда самостоятельно не пофиксить прогу? ну, быть может, с последующим ревью мешком с мясом.
Bugworm
Alexander
а чобы компилятору тогда самостоятельно не пофиксить прогу? ну, быть может, с последующим ревью мешком с мясом.
и.к. пространство решений слишком больщое
Alexander
впрочем в теорем пруверах вполне себе пишут доказательства автоматом
Alexander
даже в дурацком идрисе можно много кода автовывести
Alexander
он и не прувер и не удобен для production
Loo
Братка поясни за зависимые типы
Alexander
ни рыба ни мясо, если твой продакшн это писать статьи по зависимым типам - то язык отличный
Alexander
(сейчас он конечно хорошеет, но все равно неясно нафига нужен) тут конечно лучше его любителей спросить
Alexander
про зависимые типы если позже, у меня телефон с минуты на минуту сядет (если вопрос не по приколу)
Loo
Vladimir
Vladimir
Без неё всё поймут что будущее уже наступило, а так компилятор раста может в фоне Скайнет собирать и отлаживать, и никто не поймет
Alexey
биткойны майнить в фоне!
Alexey
rustc пока не требует наличия мощной видяхи для компиляции?
Kerrigan
нет
Alexey
зря
Alexey
могли бы монетизировать разработку языка 😊
Alexey
ну, майнить не только битки можно...
Мерль
Не понял. Gc аналогичен Rc, такое же использование
По сути GC должен дополнять RC, там где подсчёт не справляется, имхо
Loyd
Ну так о том и речь
Alexey
растакойны
Loyd
Поэтому я не вижу проблем с "безопасностью"
Мерль
Почему?
Alexander
компакт не сделать, безопасно сделать
Deleted Account
кстати, пользуется кто-нибудь сабмодулями в гит?
это шлак, потом замучаешся их актуализировать
Мерль
Ну на аренах же вроде получается?
Или я что-то путаю?
A64m
можно и компактификацию и поколения сделать, как в C++CLI но это язык в языке будет
A64m
чему там не получаьться-то?
Мерль
можно и компактификацию и поколения сделать, как в C++CLI но это язык в языке будет
Интересно сделать это было бы не трогая сам язык (
Мерль
на аренах ничего перемещать не надо
Ну вот перемещать в тот момент, например, когда ты просишь объект из gc
Anonymous
Gc же уже давно не существует, нет?
Мерль
Ну вот перемещать в тот момент, например, когда ты просишь объект из gc
Так, это надо обсуждать сидя перед монитором, я уже начинаю путаться
Anton
Крч вставил видюху
Anton
Граб работает
Anton
Дальше желтый вечный экран
Anton
Пробовал в консоль зайти но никак
Anton
Ctrl+f1
Anton
Не катит нынче
Anton
Посоны
Anton
Какие варианты?
A64m
я смотрю, розыгрыш удался
Alexander
alt+ctl+fX было всегда
Vasiliy
откуда изначально появилась идея lifetimes в rust?
Alexander
без них с афинными типами все сложно и borrow-ингом
Alexey
cyclone небось
Alex
мне идрис нравится тем что он довольно концептуально простой и можно осваивать завтипы
Alexander
как учебный норм
Alex
продакшн не знаю но жсню на нем в принципе можно лепить, типа непричесанный пюрскрипт