@namark: Thank you for the reference about generics,I think you and me have different goals on computational methods, your view is more about representations (let me make a guarded haskell expression and let other people worry about implementation),there are many tools for that https://functional.cafe/@amiloradovsky/105090662946044943, +2 for Coq =), ghc is the most advanced tool today), mine is about the smallest more efficient way that any computer could do a specific operation or function,portability is extremely important
@gassahara you completely misinterpret my stance it seems. Minimal efficient abstraction is my goal as well, throughout mathematics hardware and software, I just don't draw any arbitrary lines. Behind the hardware design that you try to optimize for today is a programmer like you. Tomorrow you should both be engineers, working together and not plating blind catch-up with each other.
