Renat Amirov

Всем привет! Подскажите, плиз, новичку. Какой тулзой типа Fiddler можно локально помониторить запросы-ответы с локального клиента к серверу Kafka?

Как я понимаю, Agda, Idris используют новейшие теории (как там, интуиционистскую теорию типов Мартин-Лёфа, зависимые типы). Haskell немного подотстал. Его планируют развивать?...

понятно, что fsi.exe но откуда и с какими параметрами? А то у меня что-то fsx-скрипт в VS работает, а из cmd - нет (

О! спасибо. Вроде что-то новое и интересное для меня. Т.е. в ФП тестирование по другому делается? Юнит-тесты - это для ООП? Почитаю про FsCheck и Hedgehog.

А на F# вообще работа есть? Для провинциала. Удаленка. Или только в столицах?

Всем привет. А есть какой нибудь ресурс, где можно было бы научиться щёлкать лямбды как орешки? Типа сборника задач по лямбда-исчислению. Имхо это ключ и к проганию в фп-стиле...

Всем привет! Подскажите новичку, плиз. С какого ресурса лучше начать? (книга, онлайн-туториал, видеокурс)

Хочу продвинуть ФП и F# на своем рабочем проекте на C#. Но со стороны коллег чувствуется отторжение. Предложил для начала попробовать начать писать юнит-тесты на F# для сущес...

Всем привет! Я тоже новичок в Rust. Может просто глянуть https://doc.rust-lang.org/stable/rust-by-example/ ?

Всем привет! Подскажите, плиз. Как посмотреть, что именно выполняется, когда я в студии в fsx-скрипте выделяю текст и нажимаю Alt+Enter?

Всем привет! ИМХО, в мире ООП для проектирования систем используется UML, то в мире ФП должно тоже что-то использоваться? Например, IDEF0 (SADT). Кто-нибудь это использует?

А студия чем хуже? Или новый Rider имеет какие-то крутые фишки именнно для F#?

Или может сразу на великом и могучем Haskell начать задрачиваться?

Подскажите плиз. Где можно задавать вопросы по Теории категорий?

Причем здесь эти милые животные? )

Всем привет! Подскажите, плиз. С чего начать изучать F#?

Всем привет! А есть чат Haskell Beginners?