Size: a a a

2020 January 14

AZ

Alex Zhukovsky in rust_offtopic
Bogdan
Ну к примеру массивы есть в хаскеле, с точки зрения прикладного программиста они ммутабельны, изменение создает копию, а под капотом ансейф, и ленивое копирование, если нет ссылок сеаружи, то изменение инплейс
ансейфперформио просто делаект экстракт из ио.
источник

B

Bogdan in rust_offtopic
Принимает на вход IO, на выход дает а
источник

LC

Lone Coder in rust_offtopic
Bogdan
Сигнатуру глянь
у меня нету, я не пользуюсь хаскелем
источник

AZ

Alex Zhukovsky in rust_offtopic
unsafePerformIO $ pure 10 например абсолютно валидная операция
источник

r

red75prime in rust_offtopic
Pavel
он весь на интринсиках, что ты будешь делать, когда , или ., а stdin/stdout нет?
Ничего. Там unsafe нет
источник

B

Bogdan in rust_offtopic
Lone Coder
у меня нету, я не пользуюсь хаскелем
А каким чисто фп языком?
источник

AK

Alexander Krivitskiy in rust_offtopic
red75prime
То есть data race? Которые safe Rust не допускает.
Скажем, если поток вовремя не завершить, он может проделать работу, которая от него не требуется. Все данные целостны
источник

P

Pavel in rust_offtopic
red75prime
Ничего. Там unsafe нет
,/. — unsafe
источник

r

red75prime in rust_offtopic
Alexander Krivitskiy
Не дата рейс. К синхронизации чтения/записи из одного участка памяти это не имеет никакого отношения.
А результат не в памяти лежит? Как он туда попадает? Если результаты получаются разные, то попадает он туда явно без синхронизации.
источник

G

Gymmasssorla in rust_offtopic
Lone Coder
что неважно, на каком языке написана программа, важно что кто-то старался и пилил, и возможно она даже работает, так что стоит хотя бы секунду помедлить, прежде чем ругаться по надуманным причинам
> важно что кто-то старался и пилил

Ты на правильном пути. Одни языки позволяют отлавливать класс ошибок во время компиляции и обладают более выразительным и кратким синтаксисом, следовательно, разрабатывать программы на них проще.
источник

LC

Lone Coder in rust_offtopic
Bogdan
А каким чисто фп языком?
не знаю... Да, наверное безопасных языков не бывает вообще.. Вот та волшебная функция рандома, которая просто возвращает 2, потому что это честный бросок кубиков - наверное, безопасная
источник

p

polunin.ai in rust_offtopic
Lone Coder
не знаю... Да, наверное безопасных языков не бывает вообще.. Вот та волшебная функция рандома, которая просто возвращает 2, потому что это честный бросок кубиков - наверное, безопасная
она выделяет память внутри под значение 2, значит небезопасная
источник

LC

Lone Coder in rust_offtopic
а не снаружи? Вроде под такое память можно заранее выделить
источник

r

red75prime in rust_offtopic
Pavel
,/. — unsafe
Программа упадёт (или не упадёт) обычным для OS порядком. Без всяких странных побочных эффектов. Не вижу ничего небезопасного.
источник

LC

Lone Coder in rust_offtopic
хранить эту двойку в бинарнике в секции .data
источник

AZ

Alex Zhukovsky in rust_offtopic
Lone Coder
а не снаружи? Вроде под такое память можно заранее выделить
выделить память можно только одним способом - попросить её у ОС на старте приложения
источник

AZ

Alex Zhukovsky in rust_offtopic
сисколл ОС это конечно же ансейф
источник

LC

Lone Coder in rust_offtopic
#define random() 3
источник

LC

Lone Coder in rust_offtopic
а система перед стартом не грузит бинарник в память сама?
источник

AZ

Alex Zhukovsky in rust_offtopic
Lone Coder
#define random() 3
любая программа которая не только определяет неиспользуемые константы - ансейф
источник