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

был какой-то пропосал сделать так, чтобы вместо

data X = X { !a :: IORef Int }
писать
data X = X { mutable a :: Int }

00:14пожаловаться #1

на него как обычно забили

00:14пожаловаться #2

АК

Анатолий Кот... in Haskell

ну не жаль, IORef это буквально "мутабельное" значение, так что оно семантически под задачу хорошо подходит

жаль в том смысле, что все со StateT придеться переписывать

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

был какой-то пропосал сделать так, чтобы вместо

data X = X { !a :: IORef Int }
писать
data X = X { mutable a :: Int }

это давало удобный сахар, типа вместо

x <- newIORef a
pure $ X { a = x }

писать сразу

X { a = x } :: IO X

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

Kirill Valyavin in Haskell

А пропозал сделать наследование для рекордов был?

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

Kirill Valyavin in Haskell

Шобы удобнее в ООП стиле писать было

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

к сожалению нет

00:18пожаловаться #7

пригодилось бы для хендл-паттерна

00:18пожаловаться #8

прикольно было бы, хаскелисты бы тогда осознали что их хендл-паттерн это ооп

00:18пожаловаться #9

Kirill Valyavin in Haskell

Ну-ка цыц, иначе успеха не избежать

00:19пожаловаться #10

так а ну ка

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

есть у кого-нибудь задачки интересные?

00:39пожаловаться #12

снова хочется чет поделать, но возвращаться к Typeable чисел уже не хочется

00:39пожаловаться #13

Roman in Haskell

то что там сделано я делал тысячу раз когда писал тайпчекеры и интерпретаторы

Всегда режектю на ревью попытки моделировать скоупы через стейт.

00:42пожаловаться #14

так, интересно, а как делать?

Скоупы тайпчекера или скоупы интерпретатора?

00:43пожаловаться #15

в случае тайпчекера конечно хватит и просто Reader [[(Var, Type)]], и это будет даже удобнее из-за готового local

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

а если речь про интерпретатор немутабельного языка?

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

Roman in Haskell

Скоупы чего угодно. Ридер. Плюс КонтТ/КоденситиТ поверх (локально) , если поведение стейта таки нужно

00:44пожаловаться #18

Roman in Haskell

а если речь про интерпретатор немутабельного языка?

В чем разница с мутабельным в данном контексте?

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

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