ndmitchell/hlint

Make it possible to forbid "`fromIntegral` without visible type arguments"

Open

#1637 aperta il 17 feb 2025

Vedi su GitHub
 (9 commenti) (5 reazioni) (0 assegnatari)Haskell (208 fork)batch import
good first issue

Metriche repository

Star
 (1594 star)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

fromIntegral @Int16 @Int32 is refactor safe but fromIntegral is not. I want to allow the former but forbid the latter.

See https://github.com/haskell/core-libraries-committee/issues/314 for context and in particular Ad-hoc polymorphism erodes type-safety.

Guida contributor

Direzione di ricerca
Studia il codice sorgente di hlint per capire come vengono definite le regole di linting, poi implementa una nuova regola che avvisa dell'uso di `fromIntegral` senza argomenti di tipo visibili.
Tech stack
Nessuno
Dominio
toolingdeveloper experience
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Haskellhlint
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65