Jeffrey Benjamin Brown
Jeffrey Benjamin Brown
I like totality checking because it lets me know if I've covered all cases when defining a function. Without it, effectively, the compiler lets you call functions that don't exist....
Maybe I can broaden the audience of this issue by noting that it's hard in Vivid even to represent a list of `VarList`s. It turns out to be possible --...
It would be an honor!
Absolutely! A hybrid system, automatically parsed except where it's unsure, would be ideal. I just moved to Bogota and took a new job, so I'm a little strapped for bandwidth...
I'm just getting to the wikipedia article now. This looks amazing; thanks!
Thanks! While we're on the subject of things that would be fun to integrate: There's a Datalog-on-steroids library available now for Haskell called [Dyna](https://github.com/nwf/dyna/) that I would like to rewrite...
> Do you have any minimal example of such a query? I can go one better than that! Here's an improved query language: https://www.reddit.com/r/haskell/comments/ag6lpv/an_edsl_for_logical_search_over_arbitrary_spaces/ I wanted queries to be like...
I changed its name again. It works now. https://github.com/JeffreyBenjaminBrown/hode
Now Hode has a couple short video tutorials, mentioned in the README. https://github.com/JeffreyBenjaminBrown/hode
I'm floored. Are you actually using it? I agree, it needs some Brick. I put DWT down a year or so ago because I was unsatisfied with the expressivity of...