Как стриктдата по умолчанию

Чтоб быстрее!

И без этой вашей ленивости

Так их баиндить же нельзя в топ левеле

ну токо для того чтоб их использоватькак стрикт дата, надо будет все data и все функции по всей хачкельной экоситеме переписать заново!

к тому же, для гхц еще готовится фича потимизатора "таг инференс" которая видимо сожрет и 10% прирост производительности от анлифтед-типов по сравнению с лифтед в большинстве случаев

Для своего оверинжениринга почему бы и не использовать

Только не забывать надо, что кортежи ленивые

Возможно использовать (# #)

Мне интересно, можно ли с dependent haskell будет писать левити полиморфные функции

Как в sixten языке

на бекпаке их можно и сейчас писать

небось можно и на тайпклассах, только придется без case/let и т.д.

А там, я так понимаю, просто на стек вместе с параметрами функции передаются их размеры

И быстрыми арифметическими трюками высчитывают правильные оффсеты

> The novel feature that allows this is type representation polymorphism. Types are compiled to their representation in Sixten. In the current implementation of Sixten the representation consists only of the type's size in memory, so e.g. Int is compiled to the integer 8 on a 64-bit system. A polymorphic function like map : forall a b. (a -> b) -> List a -> List b implicitly takes the types a and b as arguments at runtime, and its compiled form makes use of the type representation information to calculate the memory offsets and sizes of its arguments and results that are needed to be representation polymorphic.

И только мёртвые с косами стоят...

Знает кто, как обстоят дела с Haskell в Японии? Работает может там кто?

Казу