User avatar
Daphne Preston-Kendal @dpk@swhack.com
1mo
sm2n.ca/articles/typeclasses-vs-modules/
2
0
0
0
User avatar
Daphne Preston-Kendal @dpk@swhack.com
1mo
TIL ‘modular implicits’ arxiv.org/pdf/1512.01895

with a report on trying to use it for real and the problems encountered (seemingly mostly to do with the implementation and not the design) modular-implicits.github.io/report.pdf
1
0
0
0
User avatar
Daphne Preston-Kendal @dpk@swhack.com
1mo
Can modular implicits be implemented by monomorphization? It’s alright saying you’ve got a solution for code which is heavy on memory accesses anyway, like data structure implementations, but if this is a mechanism for, say, generic arithmetic (the original motivation for type classes) I should be able to generate code for a hot mathematical function without going to the implicit type dictionary on each operation; ideally we should be able to do everything in the registers unless we’re dealing with a bigint
2
0
0
0
User avatar
minwlfNotice flori_ava_star~cursor_blinking @star@amazonawaws.com
1mo
@dpk I like your funny words and incantations, oh gorgeous computer witch
:neocat_flush@swhack.com:1:neocat_heart@swhack.com:1
0
0
0
2