Justin Le

blog.jle.im

Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.

Popular posts: 1
Total points: 140
HN comments: 18
Rank: #16,790 personal

Visit blog.jle.im → RSS feedOn Hacker News Jan 2018 – Jan 2018

Software Engineering 1 Programming Languages 1

Most points Most discussed Most cited Newest

Typesafe Neural Networks in Haskell with Dependent Types

2018140 points18 comments Programming Languages details

It seems these days like programming with dependent types in Haskell (and its advantages) is moving slowly but steadily to the mainstream of Haskell programming. In the current state of Haskell education, dependent types are often considered topics for “advanced” Haskell users. However, I can foresee a day where the…