Dr. Friedrich
А я им очень горжусь.
Dr. Friedrich
Издан приказ преследовать и ликвидировать всякого, кто будет пытаться использовать F# для гнусных целей.
Hog
Издан приказ преследовать и ликвидировать всякого, кто будет пытаться использовать F# для гнусных целей.
я думаю, что первый кандидат всем давно известен :)
Ilya
Можно по аналогии с раст-комьюнити пойти в фшарпплюс репу и закидать их ишью?
Диёр
Можно по аналогии с раст-комьюнити пойти в фшарпплюс репу и закидать их ишью?
Будешь говорить что тебя тайп астронавтика оскорбляет?
Ilya
Будешь говорить что тебя тайп астронавтика оскорбляет?
Меня ничего не оскорбляет, я на сишарпе пишу🤷♂️
Ilya
(опять кто-то забыл таблетки принять)
Dr. Friedrich
Он, вроде, в космос не летал
Dr. Friedrich
Бога не видал
Hog
разговоры про влашина сейчас демона призовут :)
Dr. Friedrich
Он тоже не сторонник всякой ерунды.
Ilya
Ой, всё.
Ilya
У него справка есть.
Roman
Понимаю, но лучше найти нормальных друзей и/или обратиться к терапевту. Могу даже рекомендации дать. Но писать в чат откровенную ебалу — это не выход
Ilya
Так он ходит.
Hog
может это бот @Dolfik так обучился? :)))
Roman
Батюшка наш родной, Дон Сайм, хочет задепрекейтить функциональных астронавтов.
я не очень понял, что именно он хочет задепрекейтить
Roman
Кроме того, что он выразил недовольство SRTP абьюзом
Dr. Friedrich
Слишком сложно в компил-тайме отличить добро от зла.
Ilya
А в рантайме?
Nikolay
Dr. Friedrich
А в рантайме можно, но чисто эвристически.
Ilya
Ну вот пусть напилит с эксепшенами. YourCodeIsTooEvilException.
Dr. Friedrich
Слишком сложно в компил-тайме отличить добро от зла.
Вполне возможно, что это будет следующая ступень систем типов!
Dr. Friedrich
Какая-нибудь гиперкубическая система типов
Roman
Брагилевский кстати на конфе рассказал, что зав. типам не место в ынтерпрайзе
Dr. Friedrich
Потому что в энтерпрайзе только зло
Roman
хотя мб его посыл был в том, что не надо все делать на зав. типах даже в прекрасном будущем, где они будут легкодоступны в языке
Анна
Брагилевский кстати на конфе рассказал, что зав. типам не место в ынтерпрайзе
А Сайм посмотрел твой доклад и запретил тайп-астронавтику!
Roman
А Сайм посмотрел твой доклад и запретил тайп-астронавтику!
Ага, наконец-то он понял, как правильно писать на фшарпе
Vladislav
https://github.com/dotnet/fsharp/pull/6805#issuecomment-578721290
> dsyme
> Note I'm not particularly interested in this change supporting the SRTP-laden code that does (largely pointless) over-abstraction of code in the name of "maximal sharing" or simulating category theory - this tends to serve little actual value and makes code highly obscure, and SRTP was never designed for these purposes. Indeed if possible I'd prefer to disallow or deprecate that kind of code.
Он их никогда не любил. Но у нас тоже есть валидный кейс с «тайп классами»
Dr. Friedrich
Он их никогда не любил. Но у нас тоже есть валидный кейс с «тайп классами»
У меня тоже такой кейс есть
Dr. Friedrich
Давайте их приведём.
Ayrat
https://github.com/dotnet/fsharp/pull/6805#issuecomment-578721290
> dsyme
> Note I'm not particularly interested in this change supporting the SRTP-laden code that does (largely pointless) over-abstraction of code in the name of "maximal sharing" or simulating category theory - this tends to serve little actual value and makes code highly obscure, and SRTP was never designed for these purposes. Indeed if possible I'd prefer to disallow or deprecate that kind of code.
Уважаю Сайма. У него есть тактика и он ее придерживается
Ayrat
Хотя бы
Dr. Friedrich
Уважаю Сайма. У него есть тактика и он ее придерживается
Если что, тут я всеми руками заодно с Всеотцом
Doge
https://github.com/dotnet/fsharp/pull/6805#issuecomment-578721290
> dsyme
> Note I'm not particularly interested in this change supporting the SRTP-laden code that does (largely pointless) over-abstraction of code in the name of "maximal sharing" or simulating category theory - this tends to serve little actual value and makes code highly obscure, and SRTP was never designed for these purposes. Indeed if possible I'd prefer to disallow or deprecate that kind of code.
Так плюс сртп в том, что это единственный удобный вариант для zero-cost абстракций в дотнете.
Есть ещё со структурой-дженерик параметром, но это дикий бойлерплейт.
Shub
большинство кейсов не имеют свойств как таковых, по сути, это длинные цепочки if-ов
TOV_MULTIMASSO
Вот только выглядят STRP довольно страшно, особенно если пытаться ими тайпклассы эмулировать
Doge
Вот только выглядят STRP довольно страшно, особенно если пытаться ими тайпклассы эмулировать
Ну оно для мелких вещей, большие тайпклассы само собой туда не лезут.
Doge
Но в каком-то cpu-bound на дотнете это один из очень немногих вариантов сделать абстракцию так, чтобы её код у тебя гарантированно, вне зависимости от настроения джита, заинлайнился.
Doge
Остальные альтернативы ещё хуже
TOV_MULTIMASSO
Я как-то попытался конвертануть приличный кусок кода в статику, но компилятору не понравилось. Не помню точно, что именно.
Vagif
А вот с property based testing не ясно — как их правильно писать, чтоб в тестах не дублировать полностью логику?
Ага, я все время на это скатываюсь.
Shub
Ага, я все время на это скатываюсь.
да потому что нет свойств никаких, это "свойства" в понимании строгих теорий.
Shub
если в типичном проекте таких свойств наберется на один-два теста - это уже выдающееся явление
в основном property-based используют из-за их фаззеров
Vagif
С этим согласен, но мы в основном пишем такие тесты для теста на прочность, когда в сценарий валятся все мыслимые значения.
Vagif
У Станнарда из Акки есть статьи об этом.
Vagif
http://www.aaronstannard.com/fscheck-property-testing-csharp-part1/
Ayrat
Ну тут не проперти, а именно фаззи тестинг. Что тоже норм
Ilya
Ну тут не проперти, а именно фаззи тестинг. Что тоже норм
А почему не проперти? Тут же вполне общие требования к свойствам результата.
Ayrat
А почему не проперти? Тут же вполне общие требования к свойствам результата.
Ну на фаззи тестинге не проперти тестятся, а общее состояние системы. Ее аутпут обычно отбрасывается, но мониторится здоровье системы
Ayrat
Ты смотришь крашится ли приложение, течёт ли, респонсив ли и пр
Ilya
Так по ссылке именно проперти тестинг тогда.
Ilya
Ну ок!
Ayrat
" для теста на прочность, когда в сценарий валятся все мыслимые значения."
Hog
тут непонятка с "проперти". проперти тестинг - это тестирование проперти системы - "для всех а и б, с = а + б > 0" ну или подобное.
Ilya
Ну так можно ограничить систему до одной функции.
Ayrat
тут непонятка с "проперти". проперти тестинг - это тестирование проперти системы - "для всех а и б, с = а + б > 0" ну или подобное.
Ну в принципе,
Для любых А, f(A) завершается за конечное время с exit code = 0
Ayrat
Но я предпочитаю отделять проперти от фаззинга
Hog
почему? если первый достигается средствами второго?
Shub
фаззинг удобно использовать, в том числе и для проперти тестирования
Shub
но необязательно