LINUX.ORG.RU

Разрешены ли определения вида

нет

jtootf ★★★★★ ()
Ответ на: комментарий от eugine_kosenko

Числовые литералы уже принадлежат к типу (Num a => a). Одновременно принадлежать к типам Rank и Tricks они не могут.

anonymous ()
Ответ на: комментарий от anonymous

А как же полиморфизм? И почему нельзя использовать 8::Rank в подобных случаях? Или для конструкторов явное указание типов не работает?

eugine_kosenko ★★★ ()
Ответ на: комментарий от eugine_kosenko

И кстати, можно ли вообще использовать конструкторы с одинаковыми именами для разных типов?

eugine_kosenko ★★★ ()
Ответ на: комментарий от eugine_kosenko

И кстати, можно ли вообще использовать конструкторы с одинаковыми именами для разных типов?

нет

jtootf ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.