Size: a a a

pro.osdev - os development

2021 September 19

BV

Boris Vinogradov in pro.osdev - os development
да хоть в теле ос, всякий раз это глобалки и всё
источник

BV

Boris Vinogradov in pro.osdev - os development
нет нужды придумать новых терминов если старые ещё работают
источник

X

XÆA-XII in pro.osdev - os development
Ну, если так продолжать, то это даже и не функциональный язык, так как там по-итогу всё последовательно исполняется
источник

W

Wild_Wind in pro.osdev - os development
Которую тоже надо реализовать, и тредсейф очереди у акторов.
источник

BV

Boris Vinogradov in pro.osdev - os development
так чистых фп нет)
источник

BD

Berkus Decker in pro.osdev - os development
У акторов как раз таки очередь видна только самому актору.
источник

BD

Berkus Decker in pro.osdev - os development
это средство само-синхронизации
источник

X

XÆA-XII in pro.osdev - os development
А как же лямбда-исчисление?
источник

BD

Berkus Decker in pro.osdev - os development
поэтому там локи не нужны
источник

W

Wild_Wind in pro.osdev - os development
А io?
источник

X

XÆA-XII in pro.osdev - os development
А нет IO
источник

BV

Boris Vinogradov in pro.osdev - os development
а практическую реализацию программ из реального мира можно?
источник

BD

Berkus Decker in pro.osdev - os development
в лямбда исчислении?
источник

BD

Berkus Decker in pro.osdev - os development
так их нету, т.к. нет ио
источник

BV

Boris Vinogradov in pro.osdev - os development
это пока оно само в себе
источник

X

XÆA-XII in pro.osdev - os development
Можно, но это оффтоп)
источник

W

Wild_Wind in pro.osdev - os development
Нет. Но что ты без него сделаешь с чистыми лямбдочками?
источник

BV

Boris Vinogradov in pro.osdev - os development
её нет, просто нет, поэтому да офтоп
источник

W

Wild_Wind in pro.osdev - os development
Но актор работающий в другом потоке если захочет послать сообщени, то нужно уже синхронизировать запись в мейлбокс.
источник

X

XÆA-XII in pro.osdev - os development
Используя два комбинатора и лямбда-исчисление, можно сделать полный по Тьюрингу язык

Я всё
источник