Jan. 3rd, 2017

bamalip: (Default)
scala> Array[Double](10)
res0: Array[Double] = Array(10.0)

scala> new Array[Double](10)
res1: Array[Double] = Array(0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0)

* * *

Jan. 3rd, 2017 02:01 pm
bamalip: (Default)
Оказывается, данный фокус уже кметтифицирован:
https://github.com/ekmett/search

Но там это сделано как монада (функтор, вычисляющий тип компактных подмножеств данного типа), а я хочу как категорию (всех компактов) и пределы на ней (и все сопряженные функторы, которые можно вычислить через пределы).

Profile

bamalip: (Default)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 19 20212223
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2017 05:40 pm
Powered by Dreamwidth Studios