by

Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Jul 08 16:52
    Johann150 commented #29
  • Jul 08 16:41
    Johann150 starred brendanzab/codespan
  • Jul 08 16:39
    Johann150 ready_for_review #260
  • Jul 08 16:35
    Johann150 synchronize #260
  • Jul 08 16:29
    Johann150 synchronize #260
  • Jul 08 16:16
    Johann150 synchronize #260
  • Jul 08 16:14
    Johann150 opened #260
  • Jul 08 06:00
    Johann150 synchronize #257
  • Jul 08 05:49
    Johann150 commented #257
  • Jul 08 05:46
    Johann150 synchronize #257
  • Jul 08 01:26
    brendanzab commented #257
  • Jul 08 01:25
    brendanzab commented #257
  • Jul 07 21:56
    RDambrosio016 commented #259
  • Jul 07 12:28
    jyn514 commented #259
  • Jul 07 12:28
    jyn514 commented #259
  • Jul 07 07:24
    RDambrosio016 opened #259
  • Jul 06 15:26
    Johann150 commented #257
  • Jul 06 15:18
    Johann150 commented #257
  • Jul 06 13:38
    Johann150 ready_for_review #257
  • Jul 06 13:34
    Johann150 synchronize #257
segeljakt
@segeljakt
I see the potential for an experiment or case study haha
Brendan Zabarauskas
@brendanzab
hehe :)
Brendan Zabarauskas
@brendanzab
Screen Shot 2020-05-17 at 11.24.24 pm.png
^ after a bunch of hacky hacks on hacks
Screen Shot 2020-05-17 at 11.26.48 pm.png
^ also
now to clean up...
segeljakt
@segeljakt
neat 👍
do you have any insights about whether error messages differ between languages?
like, imperative vs functional 🤔
Brendan Zabarauskas
@brendanzab
not sure
I just know many compilers neglect them
well, at least historically
I don't think it really matters what the dominant paradigm is
But fp langs have tended to rely on whole program type inference in the past, which can make good, localised errors more challenging to implement
But I don't think that's an FP thing - more a 'whole program type inference' thing
Currying can make good errors harder I think?
segeljakt
@segeljakt
It makes sense
Maybe, it get harder when the languages become higher order but I don't know
matt rice
@ratmice
one thing i've been thinking of is producing more of an annotated source with errors than a stream of errors, including inference in the margin
Brendan Zabarauskas
@brendanzab
The single line rendering improvements are done woohooo brendanzab/codespan#241
Folks are welcome to review if they want
matt rice
@ratmice
So, I tried to read through nothing jumped out at me in particular, but left a comment
besides that I think they look make these cases much more readable!
Brendan Zabarauskas
@brendanzab
Thanks for the comment and review
Hopefully it wasn't too convoluted - it was pretty ugly in some of the intermediate stages as I was figuring stuff out!
Brendan Zabarauskas
@brendanzab
@ratmice ok, updated with some more explanation
Brendan Zabarauskas
@brendanzab
Ok, new version is now published!