Телеграмм чат группы fprog

Size: a a a

fprog_spb

2020 May 15

Я там могу написать (не знаю синтаксиса)

(atomic (seq (http-query "http://call.me.once/") (someaction))

Stm это транзакционная память жеж? Таких конструкций не встречал, нужен более сильный специалист в кложе:)

источник

18:35пожаловаться #1

Alexander Vershilov in fprog_spb

Просто я не слышал про языки, в которых stm реализован на том же уровне, как в haskell

источник

18:36пожаловаться #2

Alexander Vershilov in fprog_spb

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

источник

18:36пожаловаться #3

neFormal in fprog_spb

Типа руби?

источник

18:37пожаловаться #4

Alexander Vershilov in fprog_spb

А транзакцию перезапустят

источник

18:37пожаловаться #5

Alex Shipilov in fprog_spb

В транзакции побочек быть не должно

источник

18:37пожаловаться #6

Alexander Vershilov in fprog_spb

Просто везде где я видел компилятор не следит за этим, и если написал так, то ССЗБ

источник

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

Alexander Vershilov in fprog_spb

Твои проблемы, разбирайся сам

источник

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

Alex Shipilov in fprog_spb

Ну в кложе, там это условие, что стейт меняется только снаружи

источник

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

Alexander Vershilov in fprog_spb

А оно чем-то гарантировано?

источник

18:38пожаловаться #10

Alexander Vershilov in fprog_spb

Вот типы в этом месте в Haskell дают гарантию, без написания явно unsafe кода, невозможно сделать в STM транзакции побочный эффект

источник

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

Alexander Vershilov in fprog_spb

можно написать unsafePrimToPrim callMissiles, но так никто не делает

источник

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

Alexander Vershilov in fprog_spb

Не все знают даже откуда unsafePrimToPrim импортировать

источник

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

Yan Shkurinskiy in fprog_spb

я даже такого имени не знаю

источник

18:39пожаловаться #14

neFormal in fprog_spb

Лел, в эрланге за стм считают мнезию.

источник

18:42пожаловаться #15

Apfelsinchen Ritter in fprog_spb

Вчера правильно скинули ссылку на https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/, но её проигнорировали, там очень аккуратно описывается то, что обсуждают выше, только нужно читать до конца.

lexi-lambda.github.io

No, dynamic type systems are not inherently more open

Internet debates about typing disciplines continue to be plagued by a pervasive myth that dynamic type systems are inherently better at modeling “open world” domains. The argument usually goes like this: the goal of static typing is to pin everything down...

источник

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

Antonio in fprog_spb

neFormal

Лел, в эрланге за стм считают мнезию.

нет

источник

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

neFormal in fprog_spb

Antonio

нет

Да я в вики увидел. Так то понятно. Хотя даже в доках был пример с подпиской

источник

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

Alex Shipilov in fprog_spb

Alexander Vershilov

А оно чем-то гарантировано?

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

источник

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

Alexander Vershilov in fprog_spb

Ну если так, то тогда вот пример того, где типы помогают

источник

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