[
Size: a a a
2021 May 01
[
это я выше показал
Т8
это апкаст?
[
Num a => a
это указание, что a принадлежит к тайплкассу Num
это указание, что a принадлежит к тайплкассу Num
[
нет, потому что когда ты подставляешь туда конкретный тип, принадлежащий к этому классу, то функция будет работать с этим конкретным типом
[
правда существуют способы ворнуть из функции экземпляр тайпкласса, не имеющий конкретного типа
Т8
в шарпе и в расте это не так...
[
и этот тип задаётся дальнейшим контекстом
[
Т8
хаскел, получается, как и кресты, заботится о компайл-тайме
[
т.е. мы поставили аргумент типа Int и функция из типа Num a => a -> a -> a стала функцией Int -> Int
Т8
мономорфизация на уровне фронта?
[
про уровень фронта ты имеешь ввиду, что всё тайпчекается до кт?
Т8
до отправки на нижележащий уровень (llvm)
[
Да, конечно
[
Ток хаскель не на ллвм
Т8
ну это лучше раста
[
Вернее, можно и ллвм, но основной компиль нет
Т8
предлагаешь ему подзаработать?😁