Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
brendanzab Well Dominic Orchard pinged Ben Moon on the slack
brendanzab Also says "we will have the implementation Gerty online in a month or so I think! that might make playing easier"
atennapel Alright cool
matrixbot
@matrixbot

brendanzab Re. Sigmas:

Harley: Thanks, Stephanie has the answer with respect to GraD there already.
Harley: These are good questions, but there is still work that needs to be done to get a good answer.

matrixbot
@matrixbot
atennapel Ah thanks. Indeed, seems to be actively researched
matrixbot
@matrixbot
atennapel @oll
brendanzab 😆
atennapel 🤫
matrixbot
@matrixbot
matrixbot
@matrixbot
segeljakt
@segeljakt:matrix.org
[m]
@suhr
suhr: how did it go with your LALRPOP SQL parser?
suhr
@suhr:matrix.org
[m]
segeljakt: Finally, I have the opportunity to return to it.
I have to write my own parser generator first though, because LALRPOP just dies.
segeljakt
@segeljakt:matrix.org
[m]
my experience with LALRPOP is that it's fast when you got no errors, but once you have an ambiguity all hell breaks loose
I started using sqlparser, it's not exactly optimal in terms of implementation but it seems quite complete
atennapel
@atennapel:matrix.org
[m]
brendanzab: found this document by Conor McBride which also talks about manifest fields: http://staff.mmcs.sfedu.ru/~ulysses/Edu/SSGEP/conor/repo/notes.pdf
Chapter 6.1.1
brendanzab
@brendanzab:matrix.org
[m]
oooh
references pollack's stuff
these notes look rather neat!
Alexander Tchitchigin
@gabriel-fallen
Nobody uses https://github.com/softdevteam/grmtools for parsing? :)
1 reply
brendanzab
@brendanzab:matrix.org
[m]
hello @gabriel 👋
no, I've seen them before though
I just end up using lalrpop usually 🙃
brendanzab
@brendanzab:matrix.org
[m]
ratmice
@ratmice:matrix.org
[m]
@gabriel: I've used grmtools, and really like it/have thought about integrating the nimbleparse tool into vscode, but the plain old nimbleparse gives a fast enough turn around time that I haven't really gotten around to it, anyhow if you're doing a lot of futzing around with grammars and like plain old yacc I think its great
e.g. the $ nimbleparse java7.l java7.y Hello.java example from https://softdevteam.github.io/grmtools/master/book/nimbleparse.html
brendanzab
@brendanzab:matrix.org
[m]
suhr: ooh, what design goals?
would be cool to have some sort of modular attribute grammary generator thing for rust
suhr
@suhr:matrix.org
[m]
The goal is fast and usable IELR parser generator.
IELR gives LR(1) parsers with precedences and without mysterious conflicts.
Also, I want some nice things like poset precedences instead of linear one and grammar holes.
So I can write Foo = ? and the parser generator checks the grammar like there's an unique token in the place of ?.
suhr
@suhr:matrix.org
[m]
After reading more about cubical agda, I wonder if we can have cubical types everywhere.
brendanzab
@brendanzab:matrix.org
[m]
Cubical types everywhere?
how so?
suhr
@suhr:matrix.org
[m]
By moving to CTT.
brendanzab
@brendanzab:matrix.org
[m]
oh like 'cubical is the one true PL' 😆
or 'cubical is the default mode for agda'
suhr
@suhr:matrix.org
[m]
It feels like a huge step forward. More flexible equality and quotient types out of the box via higher inductive types.
brendanzab
@brendanzab:matrix.org
[m]
yeah it seems nifty - I think there are still some issues to sort through in some of the details though?
not super clear on all that though, but it definitely does seem exciting
I guess I would also hope to see people continue researching alternative approaches
It definitely influences alternative approaches.
brendanzab
@brendanzab:matrix.org
[m]
Ohh that looks interesting
This also looks interesting btw, “Internalizing Representation Independence with Univalence” https://www.youtube.com/watch?v=e3wGUuAxfG8