Size: a a a

2021 January 25

MP

Misha Puzanov in Haskell
ну короче кроме нового ГЦ (который мне нерелевантен все равно) для условного борингхаскеля ничего сильно нового
источник

AA

A64m AL256m qn<co... in Haskell
ну ПМ-чекер
источник

AA

A64m AL256m qn<co... in Haskell
а, а где команда :instances - не в нем ли?
источник

AA

A64m AL256m qn<co... in Haskell
или она в 8.8
источник

ЖК

Жук Короед in Haskell
А что за ПМ, о котором идет речь? Как расшифровывается?
источник

MP

Misha Puzanov in Haskell
Жук Короед
А что за ПМ, о котором идет речь? Как расшифровывается?
pattern matching
источник

AA

A64m AL256m qn<co... in Haskell
паттерн матчинг
источник

JS

Jerzy Syrowiecki in Haskell
Maxim Koltsov
Да вот нифига не то же самое
один — массив адресов функций, а второй — массив адресов функций. да?
источник

ЖК

Жук Короед in Haskell
Так ведь по итогу (грубо) это обычный хаскельный код, но без тайпклассов.
Получается, обычный хаскельный код - тоже массив адресов функций?
источник

к

кана in Haskell
получается так)
источник

ЖК

Жук Короед in Haskell
🤔
источник

NI

Nick Ivanych in Haskell
кана
получается так)
А ленивость как тогда работает с "массивом адресов функций"?
Можно уж сказать тогда, что хаскельный код, это STG.
Но тоже как-то не очень убедительно.
источник

JS

Jerzy Syrowiecki in Haskell
Жук Короед
Так ведь по итогу (грубо) это обычный хаскельный код, но без тайпклассов.
Получается, обычный хаскельный код - тоже массив адресов функций?
сначала это рекорд. а рекорд — это массив адресов. ну, почти
источник

AA

A64m AL256m qn<co... in Haskell
массив адресов, или несколько параметров функции или ничего
источник

K

Kir in Haskell
Nick Ivanych
А ленивость как тогда работает с "массивом адресов функций"?
Можно уж сказать тогда, что хаскельный код, это STG.
Но тоже как-то не очень убедительно.
Всё, что не unboxed и не strict - ленивое
источник

ЗП

Зигохистоморфный Пре... in Haskell
кана
зависимый forall
где?
источник

к

кана in Haskell
8.10
источник

ЗП

Зигохистоморфный Пре... in Haskell
и как оно там выглядит?
источник

к

кана in Haskell
forall x -> f x -> ...
источник

к

кана in Haskell
type X :: forall n -> Vec n Int -> Type
data X n v

или

data Y :: forall n -> Vec n Int -> Type
источник