Def

Travaille un peu du chameau

[Def @let_def]

@tsoding Gradual typing theory: when unsure, wait for more information
Gradual typing practice: when unsure, everything is awesome

[Def @let_def]

@tsoding Static: there are types
Dynamic: types left as an exercise to the reader
Strong: relate things with common sense
Weak: relate things in an acid trip

[Def @let_def]

@tyroverby Line 1, character 20 corresponds to the `+` of your first let (I didn't reproduce your code literally :)).
In short, it highlights two locations: the third let for an unfinished let-binding, the `+` for an unfinished expression.
More experiments needed, especially for the UI.

[Def @let_def]

@tyroverby FWIW, here is the message produced by my system for your example:
`Error: Expecting 'in' after let bindings in an expression.
This might be due to the unterminated expression at line 1, character 20`

[Def @let_def]

@davesnx @tyroverby An extension of LR parsers to provide detailed error messages.

[Def @let_def]

@tyroverby As @JulesJacobs5 pointed out indentation gives a lot of information here, e.g to rank the two problems: if the let is less indented, the "x +" is very likely to be the problem; if more indented, it's at least a fishy style.
Though I don't know how to present that to the user

[Def @let_def]

@tyroverby I didn't think about the case with a nested sub-expression ("x + let ..."), I will add your example to my testsuite.

[Def @let_def]

@welltypedwitch @ChShersh Unless I misunderstand what you are looking for, I think they could give a nice map interface. Absence of coherence is not a problem, we can enforce that the right ordering is always used at the type level.

[Def @let_def]

@TheWongKarWaifu Petite correction: je crois que c'est une adaptation d'un film chinois (https://t.co/HMaqJJlpi3) et pas japonais :).

[Def @let_def]

(Reuploading a better recording) So: TeXpresso is a tool to live edit LaTeX documents, integrated with Emacs, and highly compatible with XeTeX.

[Def @let_def]

For some time I have been working on TeXpresso, a custom tool to smooth out my #LaTeX workflow.
For the first time this week, I was able to use it to present at a seminar. (Sorry for the typos!) #TeX #Tectonic #emacs

[Def @let_def]

@JrmyBoo @ValRobert974 Par exemple ? :) (désolé c’était il y a presque 15 ans pour moi ces cours, j’ai oublié)

[Def @let_def]

@gro_tsen This is a recurrent problem in TeX/LaTeX. The layout algorithm itself is limited yet very good at what it does. The frontend is atrocious. Yet with a lot of hacks, we can mimic features and make things relatively composable in the frontend.

[Def @let_def]

@gro_tsen TeX itself would only pass it to the output un-interpreted, and the DVI processor could do the right job (actually it would be handled just like in word processors by locally changing the font).

[Def @let_def]

@Wovoun @malitschek Also want to play on Steam deck. Did you had time to try?

[Def @let_def]

@DoctorHu_ @taktoa1 @_wilfredh I am not sure why you would want that. There is only need for a single "never" (though I know it by the names empty, unhabitated, zero or void; but not "C" void which is 1 / unit though). Its logical interpretation is "∀ a. a", and it can be equal to itself.

[Def @let_def]

@johnwhitington I tried the third code and it worked! That’s a very nice surprise, thank you. (A coincidence, I just started reading https://t.co/Xw0XGSwMk1)

[Def @let_def]

Random rusty thought: ‘atomic' is the unsafe of data. (Or, rather, atomic writes are to concurrent data structures what unsafe is to code: they can silently break invariants, with the addition that they look safer than the scary unsafe)