wizzard: (Default)
[personal profile] wizzard
Перечитал спеку Julia. Всё красиво-красиво. Некоторые вещи еще хорошо заходят, после K. Пошел читать ишшуи. "Пятачок, неси ружье!" Сколько corner cases, пиздец.

Вот интересно, можно ли вообще построить type lattice для сколько-нибудь нетривиального количества перпендикулярных свойств типов? (тип элемента матрицы, размерность матрицы, способ хранения матрицы например)

(Там обсуждают Кронекера, Иверсона и как уменьшить количество special кейсов для штук вроде Inf * Complex(0,0))

И типа что делать с генериками если оно взрывается когда матрицу населили какими-нибудь типами без обратного элемента..

Патамушо design space у меня в голове ж теперь еще шире после того как в K я могу написать "ABCD"="A" и получить (1;0;0;0)

Profile

wizzard: (Default)
wizzard

May 2017

S M T W T F S
 123456
78 910111213
14 151617181920
2122232425 2627
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 27th, 2017 11:12 pm
Powered by Dreamwidth Studios