hnix

Video thumbnail (Frame 0) Video thumbnail (Frame 730) Video thumbnail (Frame 1159) Video thumbnail (Frame 3371) Video thumbnail (Frame 3605) Video thumbnail (Frame 3713) Video thumbnail (Frame 4005) Video thumbnail (Frame 4310) Video thumbnail (Frame 6448)
Video in TIB AV-Portal: hnix

Formal Metadata

Title
hnix
Title of Series
Author
License
CC Attribution 3.0 Unported:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
2018
Language
English

Content Metadata

Subject Area
Type theory Implementation Exterior algebra Parsing Software maintenance Complete metric space Total S.A. Matrix (mathematics) Parsing
Logical constant Freeware Installation art State of matter Parsing Directory service Stack (abstract data type) Vector potential Attribute grammar Performance appraisal Benchmark Type theory Software testing Information Configuration space Recursion Error message Beer stein Information Building Software developer Debugger Operator (mathematics) Infinity Attribute grammar Parameter (computer programming) Bit Binary file Variable (mathematics) Mathematics Maize Function (mathematics) String (computer science) Revision control Right angle Gastropod shell Figurate number Integer Matrix (mathematics) Online chat
Computer file Structural load String (computer science) Revision control Attribute grammar Integer
Source code Probability density function Inheritance (object-oriented programming) Computer file Structural load String (computer science) Mixed reality Revision control Attribute grammar Integer Data type
Default (computer science) Parsing Parsing Moment (mathematics) Source code Attribute grammar Performance appraisal Goodness of fit Process (computing) Hash function String (computer science) Revision control Integer Error message Library (computing) Data type
so on on the topic of Nixon Haskell young weekly the maintainer of Emacs started an alternative implementation of Nick's in Haskell it's called H Nick's right now it's a parser complete parser it's a yeah not so complete evaluator but but quite there and it's it's it's what it's experimenting with type checking as well although it's not there yet yeah that's
kind of the current state it also has a pretty printer for Nick's github and yeah there's some Doc's how to get started um devices so the next packages the next tests and so on so I'm gonna
show you what you can do with it today we have Nick's on the left the nicks and H Nick's on the right so for example if you do this in annex you will get just that an attribute a is missing which is a constant pain during development H Nick's will ya show you the actual attribute that you're looking trying to look up and gives you a bit more information there are still some errors like that are not that great for example if you do something like this yeah it's still needs room there is still room for improvements so one of the goals of maze h6 there is no official roadmap but one of the goals is to provide a better user experience and this comes to error messages and other things and to provide good tooling so we could create for example there is very good support of creating interactive debugger that you could go to different stacked stacks in the stack trace and see what are the variables inside and and figure out you know what went wrong of course for for infinite recursion error that's not that helpful but for everything else it should be as I've said it also has a formatter so you can
just run it like on if I have
file like this that's pretty I'm just
so it has a pretty printer and it kind of works there's just one problem and
I'll show you which is what I want to hack on tomorrow so yeah this is a simple file from mixed packages and if
you run it it will pretty print it the only problem is it's it strips comments at the moment it doesn't support comments so this is something I want to add it's not a trio because comments can appear pretty much everywhere but it formatted pretty nicely let me show you another thing so if you do a typo for example here and we'll it will show you where the you know actuals in source where the problem is and it will tell you I expected this no I got unexpected character and and I got you know I expected this for three things this is all basically Haskell libraries by default do very good job for parsing and so on so yeah I would recommend it to to try it out for error messages and if you think that can be improved open an issue and for pretty printing once the comments work the evaluation itself it doesn't actually provide the correct hashes for the for the Knicks so it's not that useful yeah that's they have a hackathon I think in yeah that's it
[Applause]
Feedback