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

Size: a a a

Compiler Development

2020 April 16

Alexander Tchitchigin in Compiler Development

нет, именно ленивое вычисление включает мемоизацию https://en.m.wikipedia.org/wiki/Lazy_evaluation
. Call by name не включает мемоизации

Wikipedia

Lazy evaluation

delaying of variable definitions until needed in object-oriented programs

И тем не менее, call-by-name налево и направо называют "lazy evaluation". 🤷‍♀️

источник

15:02пожаловаться #1

Sailor Moon in Compiler Development

Зигохистоморфный Препроморфизм

а я где-то это сказал? про мемоизацию и оптимизацию санков это про вычислительной модели по требованию

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

источник

15:03пожаловаться #2

ЗП

Зигохистоморфный Препроморфизм in Compiler Development

Sailor Moon

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

та господи, если у тебя строгий язык и ты делаешь лень через () -> A
то забудь о оптимизации, у тебя просто call by name

источник

15:04пожаловаться #3

ЗП

Зигохистоморфный Препроморфизм in Compiler Development

Alexander Tchitchigin

И тем не менее, call-by-name налево и направо называют "lazy evaluation". 🤷‍♀️

ну так это и есть ленивое, но не оптимизированное)
никто не следит в памяти было это вычислено или еще нет и делает работу дважды/трижды/и тд

источник

15:06пожаловаться #4

Sailor Moon in Compiler Development

Зигохистоморфный Препроморфизм

та господи, если у тебя строгий язык и ты делаешь лень через () -> A
то забудь о оптимизации, у тебя просто call by name

Почему? Можно же запоминать значения этой самой ()->A

источник

15:06пожаловаться #5

Alexander Tchitchigin in Compiler Development

Зигохистоморфный Препроморфизм

Я в курсе. Но это всё равно вопрос терминологии. Которой строго никто не придерживается.

источник

15:07пожаловаться #6

ЗП

Зигохистоморфный Препроморфизм in Compiler Development

Sailor Moon

Почему? Можно же запоминать значения этой самой ()->A

где? у тебя компилятор не имеет такой возможности)
костылить рядом какой-то стек вычислений?)

источник

15:07пожаловаться #7

Vasiliy Yorkin in Compiler Development

@xgrommx Говорит о том, что мемоизацией таких вычислений должен кто-то заниматься. В ленивых языках это делает компилятор (пример — STG в х-е)

источник

15:08пожаловаться #8

Sailor Moon in Compiler Development

Зигохистоморфный Препроморфизм

где? у тебя компилятор не имеет такой возможности)
костылить рядом какой-то стек вычислений?)

Почему не имеет такой возможности? Пример наивного кода сгенерированого компилятором:

(define x
       (let ((save nil))
          (lambda ()
             (unless save
                  (set! save (evaluate-x))
             save)))

источник

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

ЗП

Зигохистоморфный Препроморфизм in Compiler Development

Sailor Moon

Почему не имеет такой возможности? Пример наивного кода сгенерированого компилятором:

(define x
       (let ((save nil))
          (lambda ()
             (unless save
                  (set! save (evaluate-x))
             save)))

и? тут свой стек, который еще не понятно как будет чиститься

источник

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

ЗП

Зигохистоморфный Препроморфизм in Compiler Development

тут дело такое, или иметь какой-то weak map что сам подчищает ресурс или не выделываться и брать хаскель модель вычислений :D

источник

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

ЗП

Зигохистоморфный Препроморфизм in Compiler Development

уровень кода != уровень компилятора (извините, но тут все быстрее и надежней)

источник

15:13пожаловаться #12

ЗП

Зигохистоморфный Препроморфизм in Compiler Development

+ еще мерзский force тягать надо для () -> A чтобы вытащить данные, а вот представте если там будет переполнение стека вызовов?

источник

15:14пожаловаться #13

MaxGraey in Compiler Development

Cloudflare показали как можно написать программу на COBOL и запускать её в Cloudflare Worker через #WebAssembly.

https://blog.cloudflare.com/cloudflare-workers-now-support-cobol/

(конечно это хайп на недавних новостях из Нью Джерси)

The Cloudflare Blog

Cloudflare Workers Now Support COBOL

COBOL is often a source of amusement for programmers because it is seen as old, verbose, clunky, and difficult to maintain. COBOL can now be used to write code for Cloudflare’s serverless platform Workers.

источник

15:21пожаловаться #14

Constantine in Compiler Development

https://youtu.be/faq-QIRg-fQ

YouTube

Allen Wirfs-Brock: Smalltalk, OOP, Javascript and ambient computing - part 1

Alex sat down with Alan Wirfs-Brock, a pioneer of personal computing best known for his work on Smalltalk and on Javascript standardization. We discussed abo...

источник

17:12пожаловаться #15

Alex Gryzlov in Compiler Development

Зигохистоморфный Препроморфизм

но это же и есть 3 модели
по значению
по имени
по требованию

есть еще call-by-coneed (мемоизация козначений) :)

источник

17:43пожаловаться #16

МБ

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

Alex Gryzlov

есть еще call-by-coneed (мемоизация козначений) :)

А как можно запомнить козначение?.. Не очень понятно.

источник

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

МБ

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

Зигохистоморфный Препроморфизм

Ленивость нужна в нескольких местах программы, которые, всё равно, будут внутри библиотек. Никакой мерзости особой заметно не будет. Ситуация, в принципе, дуальна. В Haskell порой надо вызывать seq или обвешивать параметры !. Это же не кажется мерзким? :)

P.S. По опыту, ленивость уместна реже, чем уместны seq и ! в Haskell.

источник

17:58пожаловаться #18

TGG in Compiler Development

Кстати, оффтоп, но...
Может мне кто-нибудь пояснить, почему хаскель стал резко популярным?

источник

18:01пожаловаться #19

Konstantin in Compiler Development

потому, что ФП пошло в массы

источник

18:01пожаловаться #20