а
Size: a a a
2020 May 20
Т8
It shares many properties with Haskell: referential transparency, list comprehension, guards, garbage collection, higher order functions, currying and lazy evaluation.
Т8
не, может, и можно сделать без каких-то ощутимых негативных эффектов. Но наверняка же заебёшься это продумывать и реализовывать
Т8
не случайно же так никто не делает
а
а не,тут только "uniqueness types",это типа мув семантика. Ссылки на такие типы запрещены
Т8
Т8
The Tl;Dr is: Functional programming can definitely be done without garbage collecting, but using data structures like immutable linked-lists that perform in sharing is impossible (or at the least very difficult).
B
лол, что в С++ аксесор вектор возаращает ссылку а не занчение?
p
перестали душить в колледже, сейчас начну обратно прогать. вот уже допилил каррирование (до уровня тайпчека, разумеется)
Т8
Т8
а что тебя смущает?
Т8
@das_3sz3tt как будет работать передача по значению объекта, конструктор копирования которого удалён? Чёт мне кажется, что будет ошибка компиляции
B
Т-34 85
а что тебя смущает?
в шарпе копирует)
B
массивы есть, если ты хочешь по ссылке
Т8
в шарпе копирует)
только примитивные типы же. Референсные - даёт ссылку
B
ох лол, т.е. опертаор не омет рабьотать как индексатор
B
он обяхан сгенрить ячейку памяти и ее отдать наружу
B
Т-34 85
только примитивные типы же. Референсные - даёт ссылку
сама ссылка копируется
Т8
сама ссылка копируется
ну да, не содержимое по ней
B
в новом шарпе можно аовзращать реф
ref object GetFooRef()
ref object GetFooRef()