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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

☄️ effector

533 membersпожаловаться на группу
2020 June 25

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
createStore<🦉> ⁣
@ZeroBias напомни, пожалуйста.
createEffect({ handler })

чтобы передать сюда loc и name, нужно заворачивать в config: { name, loc } или можно напрямую?
как удобнее, можно напрямую, можно через config, для этого разбор аргументов и делался рекурсивным
источник
18:51пожаловаться#1

c⁣

createStore<🦉>... in ☄️ effector
🚀🔬 🚀🔬🚀🔬
как удобнее, можно напрямую, можно через config, для этого разбор аргументов и делался рекурсивным
о, всё.
Теперь дошло
спасибо!
источник
18:51пожаловаться#2

R

Ruslan 🌀 in ☄️ effector
Dmitriy Shuleshov
Я правильный вывод сделал?

Чистота функции по книжке гарнтирует отсутствие сайд эффектов, но если функция не чистая то это не гарантирует присутствие сайд эффектов.
не оценивай каждую функцию в отдельности, смотри шире, например, что в родительской функции происходит
источник
19:04пожаловаться#3

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
Dmitriy Shuleshov
Я правильный вывод сделал?

Чистота функции по книжке гарнтирует отсутствие сайд эффектов, но если функция не чистая то это не гарантирует присутствие сайд эффектов.
вывод: эффекты можно исчислять явно

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.
источник
19:04пожаловаться#4

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
https://t.me/effector_ru/100192
Telegram
🚀🔬 🚀🔬🚀🔬 in ☄️ effector
const foo: ex | mut = (obj) => {
 obj.bar = 0
}

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

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

функции передаются все сайд-эффекты foo и добавляется эффект деления на ноль
источник
19:05пожаловаться#5

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
то есть цель не свести сайд-эффекты к нулю, программы без сайд-эффектов всё равно не возможны, а начать рассуждать об их присутствии осознанно
источник
19:07пожаловаться#6

R

Ruslan 🌀 in ☄️ effector
Dmitriy Shuleshov
я помню картинку с упавшим деревом и теперь склонен так же считать
если родительская функция чистая, то уже не важно, что внутри происходит
источник
19:08пожаловаться#7

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
Ruslan 🌀
если родительская функция чистая, то уже не важно, что внутри происходит
тавтология)
источник
19:09пожаловаться#8

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
🚀🔬 🚀🔬🚀🔬
то есть цель не свести сайд-эффекты к нулю, программы без сайд-эффектов всё равно не возможны, а начать рассуждать об их присутствии осознанно
собственно на это и работает концепция эффектов в эффекторе: сделать нечеткую концепцию дискретной, просто чтобы было вообще чем оперировать
источник
19:09пожаловаться#9

SS

S S in ☄️ effector
🚀🔬 🚀🔬🚀🔬
собственно на это и работает концепция эффектов в эффекторе: сделать нечеткую концепцию дискретной, просто чтобы было вообще чем оперировать
Здравствуйте,  сова писал полгода назад что вы use strict выпили в effector,  по поиску в чате не нашел ответов. Почему?
источник
19:14пожаловаться#10

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
S S
Здравствуйте,  сова писал полгода назад что вы use strict выпили в effector,  по поиску в чате не нашел ответов. Почему?
кого 😳
источник
19:15пожаловаться#11

R

Ruslan 🌀 in ☄️ effector
🚀🔬 🚀🔬🚀🔬
вывод: эффекты можно исчислять явно

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.
Чёт не понял, как комбинация такой дичи как exn и div может дать pure?

If a function can raise an exception the effect is exn, and if a function may not terminate the effect is div (for divergence). The combination of exn and div is pure and corresponds directly to Haskell's notion of purity.
источник
19:15пожаловаться#12

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
es modules не бывают без стрикт мода, как и стрелочные функции, которыми переполнен исходный код библиотеки
источник
19:16пожаловаться#13

SS

S S in ☄️ effector
🚀🔬 🚀🔬🚀🔬
кого 😳
Выпилили в эффекторе 'use strict')
источник
19:18пожаловаться#14

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
S S
Выпилили в эффекторе 'use strict')
он не валиден в es modules. чем вызван подобный вопрос?
источник
19:20пожаловаться#15

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
Ruslan 🌀
Чёт не понял, как комбинация такой дичи как exn и div может дать pure?

If a function can raise an exception the effect is exn, and if a function may not terminate the effect is div (for divergence). The combination of exn and div is pure and corresponds directly to Haskell's notion of purity.
в koka интересны больше сама идея явного исчисления типов эффектов, детали имплементации больше проработаны в ocaml
источник
19:20пожаловаться#16

🚀🚀

🚀🔬 🚀🔬🚀🔬... in ☄️ effector
ща поищу пейпер
источник
19:20пожаловаться#17

m

makoven in ☄️ effector
🚀🔬 🚀🔬🚀🔬
тут хорошо подходит пример с purescript авторы которого завезли эффекты ещё пять лет назад но компилировали это всё в потрясающе фиговый и медленный жс код, потому что сами были хаскелистами а жс платформу не уважали, результат не заставил себя ждать
Справедливости ради,  хацкель и сам не блещет производительностью. С memory management  вообще дела неочень
источник
19:21пожаловаться#18

R

Ruslan 🌀 in ☄️ effector
makoven
Справедливости ради,  хацкель и сам не блещет производительностью. С memory management  вообще дела неочень
да им похер, главное  statically typed, purely functional
источник
19:22пожаловаться#19

c⁣

createStore<🦉>... in ☄️ effector
S S
Здравствуйте,  сова писал полгода назад что вы use strict выпили в effector,  по поиску в чате не нашел ответов. Почему?
эм
источник
19:23пожаловаться#20