Телеграмм чат группы compilerdev страница 1243

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

813 membersпожаловаться на группу

2020 April 21

МБ

Михаил Бахтерев in Compiler Development

Запустите в ghci

print $ length [1..]

Нажмите Ctrl-C, и вы увидите, как length реагирует на сигналы.

Вы смешиваете понятия. Реагирует не length, а repl. В качестве упражнения предлагаю попробовать написать length так, чтобы при запуске, она при нажатии на ctrl+c выводила на экран hello.

источник

09:12пожаловаться #1

AS

Aλexander Syrotenko in Compiler Development

Коллеги, мне тут только что написали из компании Access Softek с предложением делать компиляторы.
Кто-то что-то знает, может дать отзыв?

источник

09:39пожаловаться #2

r

ruv in Compiler Development

Михаил Бахтерев

Сокет. Процессом описывается, функцией - нет. Вполне наблюдаемая разница.

Теоретически, почему бы не представить сокет (пайп) как функцию от времени (или, номера вызова функции, или вообще любое целое).

soket: t, value1 -> value2

value — отправляемый/принимаемый байт или пусто.

Технически, эта "функция" зависит от прошлых вызовов, но программа не может это установить, т.к. если t меньше, чем при предыдущем вызове, то value1 не имеет значения, возвращается закэшированное value2.

#functional

источник

11:37пожаловаться #3

А

Алексей in Compiler Development

Теоретически, почему бы не представить сокет (пайп) как функцию от времени (или, номера вызова функции, или вообще любое целое).

soket: t, value1 -> value2

value — отправляемый/принимаемый байт или пусто.

Технически, эта "функция" зависит от прошлых вызовов, но программа не может это установить, т.к. если t меньше, чем при предыдущем вызове, то value1 не имеет значения, возвращается закэшированное value2.

#functional

теоретически - да

источник

11:38пожаловаться #4

А

Алексей in Compiler Development

а практически у компьютеров конечная память

источник

11:38пожаловаться #5

r

ruv in Compiler Development

а практически у компьютеров конечная память

Практически, программу можно выразить так, что t всегда возрастает. Тогда технически ничего кэшировать не надо. Требования к памяти остаются такие же, как и у "процесса".

источник

11:42пожаловаться #6

А

Алексей in Compiler Development

Практически, программу можно выразить так, что t всегда возрастает. Тогда технически ничего кэшировать не надо. Требования к памяти остаются такие же, как и у "процесса".

мы не можем накладывать такие ограничения на t

источник

11:43пожаловаться #7

А

Алексей in Compiler Development

это параметр

источник

11:43пожаловаться #8

А

Алексей in Compiler Development

мы либо можем подставить туда в принципе любой параметр (вплоть до t = 10 000 лет)

источник

11:44пожаловаться #9

А

Алексей in Compiler Development

либо это уже не функция

источник

11:44пожаловаться #10

А

Алексей in Compiler Development

а на самом деле, чтобы это функция заработала и была функцией нам придётся встроить в компьютер машину времени

источник

11:45пожаловаться #11

А

Алексей in Compiler Development

а если мы не можем её встроить, значит у нас t меняется независимо от нашего желания, значит это уже не функция, а процесс

источник

11:46пожаловаться #12

МБ

Михаил Бахтерев in Compiler Development

Теоретически, почему бы не представить сокет (пайп) как функцию от времени (или, номера вызова функции, или вообще любое целое).

soket: t, value1 -> value2

value — отправляемый/принимаемый байт или пусто.

Технически, эта "функция" зависит от прошлых вызовов, но программа не может это установить, т.к. если t меньше, чем при предыдущем вызове, то value1 не имеет значения, возвращается закэшированное value2.

#functional

Ну тип Вы написать такой можете. А реализовывать как? Напомню, что функции, по определению, чистые.

источник

11:48пожаловаться #13

МБ

Михаил Бахтерев in Compiler Development

а на самом деле, чтобы это функция заработала и была функцией нам придётся встроить в компьютер машину времени

Вот вот.

источник

11:49пожаловаться #14

А

Алексей in Compiler Development

вот математики всякие могут себе позволить описывать всякие процессы в виде функций от времени

источник

11:49пожаловаться #15

А

Алексей in Compiler Development

почему?

источник

11:49пожаловаться #16

А

Алексей in Compiler Development

потому что они знают уравнения по которым эти процессы проиходят

источник

11:50пожаловаться #17

МБ

Михаил Бахтерев in Compiler Development

И это, кстати, ставит интересные вопросы о природе физической реальности. Недавно были работы о связи перечислимости с КМ. Очень интересно

источник

11:50пожаловаться #18

А

Алексей in Compiler Development

а значит могут вычислить состояние процесса для любого t

источник

11:50пожаловаться #19

А

Алексей in Compiler Development

(грубо говоря)

источник

11:50пожаловаться #20