Size: a a a

2021 February 12

A

Aleksey @cheatex in fprog_spb
Alexander Tchitchigin
То, что автор не научился выражать инварианты типами.
А что, учебники есть?
источник

AT

Alexander Tchitchigi... in fprog_spb
Aleksey @cheatex
А что, учебники есть?
Рекомендую научиться учиться без учебников. Моё мнение: в противном случае далеко не уедешь.
источник

AT

Alexander Tchitchigi... in fprog_spb
Ну и напомню, что моё возражение было "не умеешь пользоваться типами — просто не рассказывай, что они бесполезны". 🤷‍♀️
источник

A

Aleksey @cheatex in fprog_spb
Alexander Tchitchigin
Рекомендую научиться учиться без учебников. Моё мнение: в противном случае далеко не уедешь.
Читать исходники ghc до просветления?
источник

AT

Alexander Tchitchigi... in fprog_spb
Aleksey @cheatex
Читать исходники ghc до просветления?
Начать с http://dev.stephendiehl.com/hask/ далее по ссылкам и ключевым словам. Ещё есть интересные и полезные блоги разных разработчиков, ну и статьи, конечно.
источник

A

Aleksey @cheatex in fprog_spb
Alexander Tchitchigin
Начать с http://dev.stephendiehl.com/hask/ далее по ссылкам и ключевым словам. Ещё есть интересные и полезные блоги разных разработчиков, ну и статьи, конечно.
Не, не понял, там гайд по языку, библиотекам. Напомню, что возражение было "не умеешь пользоваться типами - ...".
источник

JS

Jerzy Syrowiecki in fprog_spb
ghc полезнее запускать
источник

AT

Alexander Tchitchigi... in fprog_spb
Aleksey @cheatex
Не, не понял, там гайд по языку, библиотекам. Напомню, что возражение было "не умеешь пользоваться типами - ...".
Ну и я не понимаю, как посыл "меня не научили пользоваться типами" опровергает то, что я написал?
источник

AT

Alexander Tchitchigi... in fprog_spb
Опять же, не хотите учиться — не надо, никто не заставляет. Продолжайте молча писать на динамических языках — дело благородное. Писать работающие приложения намного почётнее, чем посты про то, что "типы не нужны, и вообще жмут".
источник

AV

Alexander Vershilov in fprog_spb
Не факт
источник

DG

Denis Gabidullin in fprog_spb
Alexander Tchitchigin
То, что автор не научился выражать инварианты типами.
Есть что-нибудь полезное, что стоит прочитать на эту тему?
источник

AT

Alexander Tchitchigi... in fprog_spb
Denis Gabidullin
Есть что-нибудь полезное, что стоит прочитать на эту тему?
Type-Driven Development with Idris, например. Там несложные примеры и довольно подробные объяснения.
источник

DG

Denis Gabidullin in fprog_spb
Alexander Tchitchigin
Type-Driven Development with Idris, например. Там несложные примеры и довольно подробные объяснения.
Понял, спасибо!
Я как раз недавно начал её читать)
источник

AT

Alexander Tchitchigi... in fprog_spb
Denis Gabidullin
Понял, спасибо!
Я как раз недавно начал её читать)
👍 Только писать уже лучше на Idris 2, если что.
источник

DG

Denis Gabidullin in fprog_spb
Alexander Tchitchigin
👍 Только писать уже лучше на Idris 2, если что.
Именно так и делаю 👌
источник

MK

Maxim Koltsov in fprog_spb
Сейчас бы думать что на завтипах все инварианты мира можно выразить
источник

A

Andrey in fprog_spb
сейчас бы думать на завтипах
источник

AT

Alexander Tchitchigi... in fprog_spb
Maxim Koltsov
Сейчас бы думать что на завтипах все инварианты мира можно выразить
А зачем все инварианты выражать?
источник

MK

Maxim Koltsov in fprog_spb
Andrey
сейчас бы думать на завтипах
Сейчас бы думать
источник

MK

Maxim Koltsov in fprog_spb
Alexander Tchitchigin
А зачем все инварианты выражать?
По-моему ты это предложил)
источник