@DougalMaclaurin@akatzzzzz@DavidDuvenaud@apaszke@xnningxie@_ddjohnson Naively thinking, if a monoid can safely "mutate" (using the linear type) one of its arguments, wouldn't it be possible to express work-efficient programs? I'm no functional language researcher and I don't know if something like this has been done.
@DougalMaclaurin@akatzzzzz@DavidDuvenaud@apaszke@xnningxie@_ddjohnson But it's interesting that you are planning to add read to the effect for parallel reduction.
I'm interested in composing clever monoids for parallel reductions (e.g., here's my quick note on semidirect product https://t.co/R2ynisbUNR)
Julia 1.0 はスーパー最高な言語なんですが、メソッドの型指定があいまいでメソッドが呼べなくなる組み合わせがあったりするのが今の所ちょっと残念です...
A = Diagonal(ones(3))
B = ones(3, 3)
Y = similar(B)
mul!(Y, A, B')
とかエラーになってしまう... (ので送ったPRがさっきのやつ)