data Tensor dim a where
ZTensor :: a -> Tensor '[] a
STensor :: Vec n (Tensor dim a) -> Tensor (n ': dim) a
- Accelerate
- DAGs and PHOAS
- https://github.com/tensorflow/haskell
- https://github.com/albertoruiz/hmatrix
- http://hackage.haskell.org/package/HaskellNN
- https://themonadreader.files.wordpress.com/2013/03/issue214.pdf
- http://okmij.org/ftp/Haskell/
- https://www.schoolofhaskell.com/user/edwardk/phoas
- https://github.com/vladfi1/hs-nn
- https://github.com/holdenlee/hasflow
- https://hackage.haskell.org/package/singletons
Automatic differentiation
- https://hackage.haskell.org/package/ad
- wiki
- http://comonad.com/reader/2010/reverse-mode-automatic-differentiation-in-haskell/
- http://www.danielbrice.net/blog/10/
- http://www.danielbrice.net/blog/15/
- http://conal.net/blog/posts/beautiful-differentiation
- http://stackoverflow.com/questions/14676075/haskell-ad-package
- http://stackoverflow.com/questions/30888615/how-to-get-more-performance-out-of-automatic-differentiation
- reddit
Tensorflow