dry-python / dry-python/returns
Unit method like `IOResultE.from_value` must return `IOResult[_V, Exception]` type
- Linguagem predominante
- Python
- Estrelas
- 4.4k
- Forks
- 155
- Merge médio
- 2h 27min
- PRs com merge (30d)
- 22
Descrição
Currently, they do return incorrect types:
```python
reveal_type(IOResultE.from_value(int))
# => IOResult[int, Any]
# Should be:
# => IOResult[int, Exception]
```
To achieve what we want we might tweak the way we create an alias in some way:
1. We can use inheritance instead of aliasing
2. We can use some magic
3. mypy plugin?
Guia de contribuição
Direção de pesquisa
Comece pelo ponto de entrada IOResultE.from_value e reproduza o problema com o exemplo de reveal_type mostrado. Investigue como o alias IOResultE está definido e como o mypy resolve seu tipo; o trabalho estará concluído quando o tipo revelado for IOResult[int, Exception] em vez de IOResult[int, Any].
Escrita pelo modelo de indexação a partir do texto da issue.
Avaliação
- Stack de tecnologia
- python
- Domínio
- tooling
- Tipo de issue
- Bug
- Dificuldade
- 5/5
- Tempo estimado
- Mais de uma semana
- Status de atividade
- Estagnada
- Clareza
- Precisa de esclarecimento
- Facilidade para iniciantes
- 25/100