АХ
Ах да, результат будет разным в зависимости от того сработает ли првило перезаписи
Size: a a a
2020 August 02
DB
Ах да, результат будет разным в зависимости от того сработает ли првило перезаписи
Перекаво?
АХ
Не знаю можно ли это назвать иначе как "сломано"
АХ
{-# RULE ... #-}JS
class Fractional a => Floating a
или на привычном языке математики значок будет смотреть наоборот
∀ a. Floating a => Fractional a
Floating ⊆ Fractional
но потом мы говорим не про типы, а про функцию, параметризованную этими типами, например,
realToFrac pi :: ∀ (b :: Type). Fractional b => b
она принимает параметр (b :: Type). она может принять Fractional, следовательно, может принять что угодно внутри Fractional, например, Floating
или на привычном языке математики значок будет смотреть наоборот
∀ a. Floating a => Fractional a
Floating ⊆ Fractional
но потом мы говорим не про типы, а про функцию, параметризованную этими типами, например,
realToFrac pi :: ∀ (b :: Type). Fractional b => b
она принимает параметр (b :: Type). она может принять Fractional, следовательно, может принять что угодно внутри Fractional, например, Floating
кстати, вот ещё забавный случай из значков наоборот:
(⟹) :: Bool -> Bool -> Bool
(⟹) = (<=) -- двоичная импликация выражается через "меньше либо равно"
(⟹) :: Bool -> Bool -> Bool
(⟹) = (<=) -- двоичная импликация выражается через "меньше либо равно"
АХ
Ну и иерархия численных тайпклассов сломана начиная с Num
DB
class Fractional a => Floating a
или на привычном языке математики значок будет смотреть наоборот
∀ a. Floating a => Fractional a
Floating ⊆ Fractional
но потом мы говорим не про типы, а про функцию, параметризованную этими типами, например,
realToFrac pi :: ∀ (b :: Type). Fractional b => b
она принимает параметр (b :: Type). она может принять Fractional, следовательно, может принять что угодно внутри Fractional, например, Floating
или на привычном языке математики значок будет смотреть наоборот
∀ a. Floating a => Fractional a
Floating ⊆ Fractional
но потом мы говорим не про типы, а про функцию, параметризованную этими типами, например,
realToFrac pi :: ∀ (b :: Type). Fractional b => b
она принимает параметр (b :: Type). она может принять Fractional, следовательно, может принять что угодно внутри Fractional, например, Floating
А, норм
DB
Догнал
JS
Ах да, результат будет разным в зависимости от того сработает ли првило перезаписи
ага, то есть от уровня оптимизации. если совсем повезёт, в тесте одно, в проде другое
DB
кстати, вот ещё забавный случай из значков наоборот:
(⟹) :: Bool -> Bool -> Bool
(⟹) = (<=) -- двоичная импликация выражается через "меньше либо равно"
(⟹) :: Bool -> Bool -> Bool
(⟹) = (<=) -- двоичная импликация выражается через "меньше либо равно"
Ну это со школы известно, что у них таблицы истинности одинаковые
DB
ага, то есть от уровня оптимизации. если совсем повезёт, в тесте одно, в проде другое
Это прям реально проблема?
DB
Просто звучит максимально печально
JS
Это прям реально проблема?
я не слышал о проблемах из-за этого. @PineappleZombie ?
JS
Ну и иерархия численных тайпклассов сломана начиная с Num
ты фанат колец-полей или настоящие проблемы есть?
AA
Ну и иерархия численных тайпклассов сломана начиная с Num
а в пакете алгебра - нормально?
АХ
я не слышал о проблемах из-за этого. @PineappleZombie ?
А численными методами на хаскелле особенно не занимаются. Вот грабли и не собирают. Но проблема той же природы: https://github.com/kolmodin/binary/issues/64
АХ
ты фанат колец-полей или настоящие проблемы есть?
И линейных пространств. Вот надо сложить два вектора/матрицы — изобретай оператор!
АХ
а в пакете алгебра - нормально?
Там другая проблема инстансы слишком гранулярны. Но тут мне кажется проблема языка — неудобно работать с очень гранулярными тайп классами. Мне кажется, что было бы хорошо иметь какие-нибудь классы-синонимы: вроде определил инстанс для кольца — получил инстанс для аддитвной группы/моноида нахаляву (само сложение понадобится, конечно, определить)
AA