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

пока это не то, что можно поставить как пакет в нпм и забить

похоже мне нужно пояснение

13:26пожаловаться #1

l

const foo: ex | mut = (obj) => {
obj.bar = 0
}

mut потому что мутабельность, ex потому что запись в null небезопасна

const bar: div | ex | mut = (obj) => {
foo(obj)
return 10 / obj.bar
}

функции передаются все сайд-эффекты foo и добавляется эффект деления на ноль

13:29пожаловаться #2

l

https://koka-lang.github.io/koka/doc/kokaspec.html#sec-effect-types

🦉 ⁣

похоже мне нужно пояснение

koka-lang.github.io

The Koka Book

Provides popup anchor links to headings in a web page.
This makes it easier for others to link to specific sections
in a large web manual or book.

13:30пожаловаться #3

l

const foo: ex | mut = (obj) => {
obj.bar = 0
}

mut потому что мутабельность, ex потому что запись в null небезопасна

const bar: div | ex | mut = (obj) => {
foo(obj)
return 10 / obj.bar
}

функции передаются все сайд-эффекты foo и добавляется эффект деления на ноль

поэтому, чтобы не парсить на сайд-эффекты весь код, эффектор делит логику на чистые функции и эффекты

13:31пожаловаться #4

🦉⁣

const foo: ex | mut = (obj) => {
obj.bar = 0
}

mut потому что мутабельность, ex потому что запись в null небезопасна

const bar: div | ex | mut = (obj) => {
foo(obj)
return 10 / obj.bar
}

функции передаются все сайд-эффекты foo и добавляется эффект деления на ноль

выглядит так, будто поверх жс нужно строить новую систему типов

13:32пожаловаться #5

🦉⁣

которая будет идти в комплекте с этим тулингом

13:32пожаловаться #6

l

ладно бы новую систему типов, но это не исчисление типов, это исчисление эффектов

13:32пожаловаться #7

🦉⁣

const foo: ex | mut = (obj) => {
obj.bar = 0
}

mut потому что мутабельность, ex потому что запись в null небезопасна

const bar: div | ex | mut = (obj) => {
foo(obj)
return 10 / obj.bar
}

функции передаются все сайд-эффекты foo и добавляется эффект деления на ноль

похожая штука есть в расте.
Но нет ex | div

можно только отследить мутации и поглощение значения

13:32пожаловаться #8

l

ага

13:33пожаловаться #9

🦉⁣

const foo: ex | mut = (obj) => {
obj.bar = 0
}

mut потому что мутабельность, ex потому что запись в null небезопасна

const bar: div | ex | mut = (obj) => {
foo(obj)
return 10 / obj.bar
}

функции передаются все сайд-эффекты foo и добавляется эффект деления на ноль

так
и чем может быть полезна информация об эффектах функции?

13:33пожаловаться #10

l

поэтому, чтобы не парсить на сайд-эффекты весь код, эффектор делит логику на чистые функции и эффекты

и уже отсюда можно начинать думать о каком-либо исчислении эффектов. научившись предварительно составлять перечень эффектов в приложении, конечно

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

l