Na czym polega problem z FlexibleInstances w Haskell? Dlaczego nie są uwzględnione w Haskell 2010? Czy implementacje FlexibleInstances były po prostu niewystarczająco stabilne, aby włączyć je do standardu, czy też były głębsze obawy związane z FlexibleInstances? Czy można ich bezpiecznie używać? Czy prawdopodobnie zostaną uwzględnieni w Haskell Prime?Czy Haskell FlexibleInstances jest stabilnym rozszerzeniem tego języka?
Czy można z nich bezpiecznie korzystać?
Tak. FlexibleInstances nie stworzy niejednoznacznej lub nakładającej się sytuacji, gdy GHC musi rozdzielić klasy typów. Zauważ, że istnieje możliwość nakładania się instancji, a nie błąd, ale wszelkie rzeczywiste mylące użycie podczas sprawdzania typu będzie błędem.
Czy zostaną prawdopodobnie włączone do Prime Haskell?
Nie mam pojęcia, nie jestem częścią Haskell Prime. Istnieje lista mailingowa, zarchiwizowana pod numerem gmane. Śledzenie biletu to number 32.
Dzięki za link do haskell prime trac. Nie wiedziałem, że proces rozwoju był tak otwarty. Bardzo przydatne! – scravy