Gabriella Gonzalez
Gabriella Gonzalez
This is a reminder to myself to implement a function I mentioned on Stack Overflow: http://stackoverflow.com/questions/28421469/how-to-drop-lines-when-streaming-from-a-file-using-haskell-and-the-turtle-librar/28422201#28422201 Here is the implementation: ``` haskell import Data.IORef import Turtle drop :: Int ->...
… by saturating the `None` with its type argument
This is an idea inspired by https://github.com/dhall-lang/dhall-lang/issues/733 and https://github.com/dhall-lang/dhall-haskell/issues/1890. I've mentioned this idea in passing in a couple of discussions and I'm doing a more detailed write-up here to try...
Several people have requested an easier way of installing Dhall-related packages on Linux distributions, so any help packaging them for various Linux distributions is welcome
One pretty heavily requested feature is importing JSON values directly into Dhall. The most common requested reasons for doing this are: * Interop with existing JSON infrastructure (i.e. reusing shared...
The idea for this comes from [this Stack Overflow question](https://stackoverflow.com/questions/64165340/dhall-repl-how-to-get-the-type-of-field-of-record-type) The basic idea is that the `.` operator would now work on record types to access the types of their...
Would people be open to the following syntactic sugar for function definitions, where: ```dhall let f (x : A) (y : B) = e ``` … is syntactic sugar for:...
I'm opening up an issue to discuss this comment: https://github.com/dhall-lang/dhall-lang/issues/125#issuecomment-450601520 ... which is also related to this repository: https://github.com/akshaymankar/dhall-recursive-json The informal proposal is to add a new `JSON` primitive type...
This is based on a discussion with @drewolson in Slack on alternative ways to solve the problem mentioned in https://github.com/dhall-lang/dhall-lang/issues/989 of ergonomically importing a union type. I chose to create...