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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

fprog_spb

417 membersпожаловаться на группу
2020 August 28

AT

Alexander Tchitchigi... in fprog_spb
Mikhail Kuzmin
А можно не абстрактную теорию обсуждать, а практику?
Я хочу в clojure/script сделать что-то вроде интерпретатора эффектов.
Т.е. разделить логику от интерпретации эффектов.
Если кому haskell ближе, то это free monad.
Если кому ближе js, то это генераторы.



У меня есть вопросы и рассуждения, они вот тут.
https://gist.github.com/darkleaf/f0cbfe38eaad82cb44758aef1228287f

Собственно там первая ссылка на уже существующую мою библиотеку
и там есть rationale https://github.com/darkleaf/effect/blob/doc-2/README.md#rationale
Gist
Algebraic effects для Clojure.
Algebraic effects для Clojure. GitHub Gist: instantly share code, notes, and snippets.
Я бы всё-таки советовал изучать теорию пока Вы не перестанете путать эффекты, свободные монады и генераторы. Извините, пожалуйста. 🙂
источник
19:36пожаловаться#1

АГ

Александр Гранин... in fprog_spb
Andrey
устные договоренности, не фиксированные - это простор для трактовок и причина всех девиаций.
Это так, но устные договоренности все-таки существуют как явление и как-то работают. Не стоит списывать их со счетов
источник
19:37пожаловаться#2

A

Andrey in fprog_spb
Александр Гранин
Это так, но устные договоренности все-таки существуют как явление и как-то работают. Не стоит списывать их со счетов
это не значит, что их не надо формализовывать?
источник
19:37пожаловаться#3

АГ

Александр Гранин... in fprog_spb
Mikhail Kuzmin
Может я когда-нибудь куплю книжку. Но пока я не пишу на haskell, а надергать идей пока так получается.

могу лично тебе объяснить мои вопросы голосом, врядли тебе тут понадобится какое-то знание кложи
Ну лично я не против, скажу только, что на протяжении всего разговора здесь шел по улице, и поэтому немного ограничен в возможностях
источник
19:38пожаловаться#4

АГ

Александр Гранин... in fprog_spb
Andrey
это не значит, что их не надо формализовывать?
Формализовывать надо, это аксиома. К сожалению, не всегда получается, и наличие требований в устной форме не должно быть блокером
источник
19:39пожаловаться#5

АГ

Александр Гранин... in fprog_spb
(Если мы говорим про команду и отношения внутри нее)
источник
19:40пожаловаться#6

AV

Alexander Vershilov in fprog_spb
Александр Гранин
Ну лично я не против, скажу только, что на протяжении всего разговора здесь шел по улице, и поэтому немного ограничен в возможностях
Вредно так делать 😕 Не надо смотреть в телефон когда ходишь. Нужно делать, что-то и хорошо, а не всё и как обычно
источник
19:40пожаловаться#7

АГ

Александр Гранин... in fprog_spb
(А если мы говорим про заказчика и исполнителя, то тут, конечно, лучше всё документировать под роспись. Тоже не всегда такое бывает)
источник
19:41пожаловаться#8

A

Andrey in fprog_spb
Alexander Tchitchigin
"Обычно" не верифицируют ничего. 😄
Особо упоротые верифицируют код.
Верифицировать дизайн – вообще плохо определённая задача...
так что же верифицируют тогда?
источник
19:41пожаловаться#9

АГ

Александр Гранин... in fprog_spb
Alexander Vershilov
Вредно так делать 😕 Не надо смотреть в телефон когда ходишь. Нужно делать, что-то и хорошо, а не всё и как обычно
Да, это верно, поэтому я иду с длительными остановками
источник
19:41пожаловаться#10

A

Andrey in fprog_spb
Александр Гранин
(Если мы говорим про команду и отношения внутри нее)
тут на помощь обычно должны приходить другие артифакты проектные.. недомолвки и когнитивные искажения могут импактить устные договоренности внутри команды
источник
19:42пожаловаться#11

АГ

Александр Гранин... in fprog_spb
Andrey
тут на помощь обычно должны приходить другие артифакты проектные.. недомолвки и когнитивные искажения могут импактить устные договоренности внутри команды
Это так. Но если все формализовывать до запятой, работа встанет
источник
19:43пожаловаться#12

A

Andrey in fprog_spb
- дизайн документ
- тестовые сценарии
- тестовые кейсы
...
источник
19:43пожаловаться#13

AT

Alexander Tchitchigi... in fprog_spb
Andrey
так что же верифицируют тогда?
Как я и написал – соответствие кода формальной (функциональной) спецификации.
источник
19:43пожаловаться#14

АГ

Александр Гранин... in fprog_spb
Люди не дураки, они могут понять друг друга. А если нет, просто закладывать такой риск
источник
19:43пожаловаться#15

AT

Alexander Tchitchigi... in fprog_spb
Andrey
- дизайн документ
- тестовые сценарии
- тестовые кейсы
...
Сначала вижн. 😉
источник
19:44пожаловаться#16

A

Andrey in fprog_spb
Alexander Tchitchigin
Как я и написал – соответствие кода формальной (функциональной) спецификации.
формальная спецификация из чего состоит?
источник
19:44пожаловаться#17

A

Andrey in fprog_spb
Alexander Tchitchigin
Сначала вижн. 😉
на разных стадиях проекта - разные артифакты нужно порождать..
источник
19:45пожаловаться#18

AT

Alexander Tchitchigi... in fprog_spb
Andrey
формальная спецификация из чего состоит?
Из формальных утверждений (aka propositions aka theorems). 🤷‍♀️

Вы чего узнать-то хотели? 😉
источник
19:45пожаловаться#19

A

Andrey in fprog_spb
Alexander Tchitchigin
Из формальных утверждений (aka propositions aka theorems). 🤷‍♀️

Вы чего узнать-то хотели? 😉
я хочу понять, что здесь происходит
источник
19:46пожаловаться#20