3 ms·
In what ways is this way of programming different from Idris?
by avindroth 6y ago
In what ways is this way of programming different from Idris?
- cies 6y agoI also found this workflow is very similar to what I saw from Idris. I've come to know the practice as the "typed hole"[1] work flow. Idris is a different beast though, it has dependent types built in, where they come as an addon for Haskell. [1]: https://wiki.haskell.org/GHC/Typed_holes https://wiki.haskell.org/GHC/Typed_holes https://news.ycombinator.com/item?id=20435866 https://news.ycombinator.com/item?id=20435866
- avindroth 6y agoI know of Hazel[1] as well. Is there a more free-form version of typed holes? The implementations here seem very cumbersome. Perhaps a version of this that has more focus on the duality of code as both runnable, complete code, and intermediate form between thought and code. [1]: https://hazel.org/ https://hazel.org/