Hacker GitHub

← All repos

mikeizbicki/subhask

View on GitHub ↗ ★ 420 Haskell

Type safe interface for working in subcategories of Hask

6 mentions on Hacker News by 5 people: 1 story, 5 comments · first 2015-07-01 · latest 2019-01-20

Mentions per year 6 mentions · busiest year 2017 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …usable linear algebra system can even be implemented in a language with proper dependent types. [1] http://github.com/mikeizbicki/subhask
    comment by jackpirate · 2019-01-20 · in OCaml bindings for PyTorch
  2. well, there is always: https://github.com/mikeizbicki/subhask which provides more flexibility on the categories you are programming in.
    comment by LeanderK · 2017-11-07 · in Functional Programming Jargon
  3. …but replaces so much of the functor/monad hierarchy that it's effectively a different language. https://github.com/mikeizbicki/subhask
    comment by tbenst · 2017-10-07 · in Physics, Topology, Logic and Computation: A Rosetta Stone (2009) [pdf]
  4. …, https://wiki.haskell.org/Thunk [1] http://hackage.haskell.org/package/hmatrix [2] https://github.com/mikeizbicki/subhask [3] https://github.com/wellposed/numerical
    comment by spott · 2017-05-24 · in Grenade: Deep Learning in Haskell
  5. …computing. I've tried developing an alternative standard library to improve the situation ( https://github.com/mikeizbicki/subhask ), but Haskell's type system isn't yet powerful enough to do what I want. I'm sure the type system will have…
    comment by jackpirate · 2017-05-24 · in HLearn: A Machine Learning Library for Haskell (2013) [pdf]
  6. ▲ 2
    SubHask's automated testing of laws
    story by dansan_2 · 2015-07-01 · 0 comments