KotlinIsland / KotlinIsland/basedmypy

`final` by default

Open
#189 1 comment 0 reactions 0 assignees View on GitHub
feature
Dominant language
Python
Stars
202
Forks
6
PR merge metrics
No merged PRs in 30d

Description

```py
class A: ...
a: A
a or 1 # error: unreachable
```
While not pythonic, final by default is actually better? 😳

related: #38

Contributor guide

Open the contributing guide

Research direction

No implementation file or test is named. Start by reading related issue #38 and the checker’s current handling of the shown `a or 1` case; clarify whether the proposal changes the default typing behavior and agree on expected diagnostics. Done requires a decided scope and corresponding tests.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
tooling
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.