SP
а во да
Size: a a a
2020 August 09
p
vs writting telegram bot in Poica
vs writing CRUD on logos
BD
Writting OS in GC-free dependent type language
Вы(Хуй). Ось возвращает true т.к. Boolean это выведенный тип.
p
Тучу пригласим пусть что-то на учёном языке говорит про логос, чтобы сделать вид что мы умные
KR
Вы(Хуй). Ось возвращает true т.к. Boolean это выведенный тип.
Ваша ОСь тотальна, потому завершается за наносек
X
Ось на SWI Prolog
SP
Вы(Хуй). Ось возвращает true т.к. Boolean это выведенный тип.
ты обгадился. нету у тебя типов
p
Ваша ОСь тотальна, потому завершается за наносек
Ваша ось написана на ФП языке, поэтому ее не надо запускать
BD
Ваша ОСь тотальна, потому завершается за наносек
даже не запускается, т.к. про неё уже всё доказано
KR
Ваша ось написана на ФП языке, поэтому ее не надо запускать
Ссылочная прозрачность хуле
KR
Просто подставляете результат и не надо запускать ОСь
SP
Ваша ось написана на ФП языке, поэтому ее не надо запускать
наша ос на фп языке, поэтому подождем пока изобретут фп-железо
KR
даже не запускается, т.к. про неё уже всё доказано
+
BD
наша ос на фп языке, поэтому подождем пока изобретут фп-железо
лисперы смотрят с изумлением
p
наша ос на фп языке, поэтому подождем пока изобретут фп-железо
А как сделать ФП сетевую карту? Она же принимает данные из внешнего мира
KR
А как сделать ФП сетевую карту? Она же принимает данные из внешнего мира
Ты просто делаешь IO
KR
И сетевая карта сама всё порешает
BD
А как сделать ФП сетевую карту? Она же принимает данные из внешнего мира
придется моделировать эффекты
SP
ну торт чтото говорил про фп-железо. я не помню уже
DS
ну торт чтото говорил про фп-железо. я не помню уже
Так ФП железо вполне можно сделать с прикольным результатами.
См. reduceron
См. reduceron