Thread
Stories related to "Learning sum types, value constructors, and type constructors by proxying values with types" across the full archive.
Unpacking Black-Box Models: ExSum Mathematical Framework To Evaluate Explanations of Machine-Learning Models
(scitechdaily.com)
MIT researchers create a mathematical framework to evaluate explanations of machine-learning models and quantify how well people understand them. Modern machine-learning models, such as neural networks, are often referred to as “black boxes” because they are so complex that even the people who desig...
Hacker News discussion of http://www.jerf.org/iri/post/2917 (2013)
In my free time I’m currently working on a new open-source project to add (almost) native support for algebraic data types (aka: sum types / tagged unions) in Java (via annotation processing).
I would welcome some review of the readme from experienced FPers and feedbacks on feature set / generate...
Paper summary: Google TensorFlow, A system for large-scale machine learning
(muratbuffalo.blogspot.com)
Luke Cheeseman discusses his work on adding simple value-dependent types to Pony. Luke walks us through how introducing value-dependent types and compile-time expressions into Pony to provides developers access to a wider variety of efficient, flexible containers.
Join the group at pony.groups.io...
A good exploration of product vs. sum types -- when they are used and where the names come from.
Explains what sum types are and their utility in a way intended to be accessible to wide audience. Includes examples in multiple, programming languages.
Some elaboration from the author [on reddit](https://old.reddit.com/r/haskell/comments/dsgr0r/the_four_simple_ways_to_encode_sumtypes/).