4 ms·

I agree, but I've been having a hard time even with python recently. I had a small script (50-100 lines) to format a data drive on boot I refactored, 3 or 4 ob

by rendaw 2y ago

I agree, but I've been having a hard time even with python recently. I had a small script (50-100 lines) to format a data drive on boot I refactored, 3 or 4 obvious undeclared variables and who knows how many more I didn't notice - mypy found 0 issues. I was looking up statically typed alternatives and stumbled upon Ammonite and Scala-CLI for scala. I haven't used them much, but Ammonite bundles some basic libraries including command line parsing, http, and json, which are probably 99% of what I used in Python too? And Scala seems like an interesting language too with decent editor integration.

macrael 2y ago
use mypy!
- cinntaile 2y ago
  > mypy found 0 issues It didn't help him. Which is a bit strange?
  - ok_dad 2y ago
    To make mypy strict enough to compare your dev experience to a typed language, you have to declare all sorts of configurations, otherwise there are huge swaths of things it’ll allow compared to most typed languages. I use below, and only when necessary use ignore comment pragmas when third party libraries are not typed. #? message format settings show_column_numbers = true show_error_codes = true #? strictness settings disallow_any_unimported = true disallow_any_expr = true disallow_any_decorated = true disallow_any_explicit = true disallow_any_generics = true disallow_subclassing_any = true disallow_untyped_calls = true disallow_untyped_defs = true disallow_incomplete_defs = true disallow_untyped_decorators = true no_implicit_optional = true warn_redundant_casts = true warn_unused_ignores = true warn_return_any = true warn_unreachable = true strict_equality = true strict = true
wiseowise 2y ago
> I had a small script (50-100 lines) to format a data drive on boot I refactored, 3 or 4 obvious undeclared variables and who knows how many more I didn't notice - mypy found 0 issues. What does pyright/pylance say?

by rendaw 2y ago

macrael 2y ago

use mypy!

cinntaile 2y ago
> mypy found 0 issues It didn't help him. Which is a bit strange?
- ok_dad 2y ago
  To make mypy strict enough to compare your dev experience to a typed language, you have to declare all sorts of configurations, otherwise there are huge swaths of things it’ll allow compared to most typed languages. I use below, and only when necessary use ignore comment pragmas when third party libraries are not typed. #? message format settings show_column_numbers = true show_error_codes = true #? strictness settings disallow_any_unimported = true disallow_any_expr = true disallow_any_decorated = true disallow_any_explicit = true disallow_any_generics = true disallow_subclassing_any = true disallow_untyped_calls = true disallow_untyped_defs = true disallow_incomplete_defs = true disallow_untyped_decorators = true no_implicit_optional = true warn_redundant_casts = true warn_unused_ignores = true warn_return_any = true warn_unreachable = true strict_equality = true strict = true

wiseowise 2y ago

> I had a small script (50-100 lines) to format a data drive on boot I refactored, 3 or 4 obvious undeclared variables and who knows how many more I didn't notice - mypy found 0 issues. What does pyright/pylance say?