 |
Post AuI3PNGEhRFqnCziL2 by [email protected] |
 |
More posts by [email protected] |
|
Post #AuI3PN6JILJaIQLmro by [email protected] |
|
0 likes, 1 repeats |
|
|
|
Sometimes when I talk about the difficult relations between PL research and ind… |
|
|
|
Post #AuI3PNGEhRFqnCziL2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Another example of the harmful impact of PL research on industry: TypeScript, w… |
|
|
|
Post #AuI3PNyY2ghT0dj6PI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The only mainstream language people hate more than Java is C++... But at least,… |
|
|
|
Post #AuI3PO1Ns8y79R3MpM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
By the way, mainstream PL researchers today are hard at work reproducing Java&#… |
|
|
|
Post #AuI3PO6LZgwFOpNKYy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
But at the end of the day, I think the following fact (in my opinion) is a bit … |
|
|
|
Post #AuI4TUAH4b2XJijKd6 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@jonmsterling I think your observations are right. However, having started to … |
|
|
|
Post #AuI4mzBTy3NB1Zarrc by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@jonmsterling all that said, we can and will continue to advances. Rust, thoug… |
|
|
|
Post #AuI56az7eM0nlNAAQC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JonathanAldrich I think maybe Java is better in the senses that you describe t… |
|
|
|
Post #AuI56b4nJGY62xohGK by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@jonmsterling I can't quantify the damage done by silently broken expectati… |
|
|
|
Post #AuI68TrzAsrOEHHtiq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling i don't really agree, not having inference seemed like checke… |
|
|
|
Post #AuI69YdmvCJVJeA0OW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling this one really baffles me |
|
|
|
Post #AuI69YksUpz7fdTfRg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ah @jonmsterling is this in reference to effect handlers? if so, i agree that … |
|
|
|
Post #AuI69iY855jG2zacxk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chrisamaphone @ah Basically there is a push to adopt type-and-effect systems l… |
|
|
|
Post #AuI69ieVhMpiMmZiuO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ah @jonmsterling makes sense to me |
|
|
|
Post #AuI6A3EhAXf4Cneu5Q by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling I'd rather write Java than RPG, but it's definitely not t… |
|
|
|
Post #AuI6AfnPnu0rnUCATo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling "increment C; return original value" |
|
|
|
Post #AuI6BfozCA6oAJPIXI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling not sure what this statement means? |
|
|
|
Post #AuI6Bfv0pkvgT0E6vg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@liamoc Basically what I mean is: Rust wants to be a language for safe systems … |
|
|
|
Post #AuI6Bg2SO4ssq5i3X6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling i see what you mean, but one could argue Go fails to be a good co… |
|
|
|
Post #AuI6FKpXBKQWDkPRPE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling That's because C++ does not mandate OOP, like Java.More reaso… |
|
|
|
Post #AuI6Gmh94DC0vnB0pE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling In sociology of culture people talk about long-term vs. short-ter… |
|
|
|
Post #AuI6HOIJGzuDXlqiOG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@purrperl @jonmsterling "In Java, variable names are so monstrously long, … |
|
|
|
Post #AuI6HbU8EM5QSCTq7c by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling But consider thisThe way conditional types interact with union ty… |
|
|
|
Post #AuI6HvtgL4PLlEaWiu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling to some extent i fault the social processes around adoption and b… |
|
|
|
Post #AuI6ONJhJ3ISXSpRAW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rzeta0 I think Lean is definitely a positive example of something... But it ha… |
|
|
|
Post #AuI6ONPiwe7Kq9eFYu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@rzeta0 In some sense, the success of Lean has shown that the dogmas of the tra… |
|
|
|
Post #AuI6OQtG1IWXccUNVo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @JonathanAldrich i agree with JA re: typescript, mainly because i… |
|
|
|
Post #AuI6lYnqlaFwp6zJAm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling RE: Java, there's the old Guy Steele quote about how Java man… |
|
|
|
Post #AuI6lacvz8iGTptcR6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling one thing that puzzles me is that languages like Rust which just … |
|
|
|
Post #AuI6ldEwGoIkaHgzx2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chrisamaphone @ah @jonmsterling It's a lot of fun to program in Shonky, my… |
|
|
|
Post #AuI6lf2xYJuKBi6SYa by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@jonmsterling One of my prized possessions is a VHS tape of some honcho at Sun … |
|
|
|
Post #AuIDWlZfhTJPlhFU1o by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @chrisamaphone @ah it's been a while but one of the last type… |
|
|
|
Post #AuIGSDQ52oC2XlHfyC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JonathanAldrich I feel like a huge part of the productivity win is definitely … |
|
|
|
Post #AuIOzNGCHGE8Fkz2SO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JonathanAldrich @jonmsterling I’ve done nodejs for like 13 years and I *cons… |
|
|
|
Post #AuIOzNNdpaBKcqSz3o by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@jnkrtech @jonmsterling With that much experience, I'm guessing you may be … |
|
|
|
Post #AuIQ32Ly3ClAWXzd9E by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @liamoc This is something that I feel is commonly misunderstood a… |
|
|
|
Post #AuIQ32Rzgna2pEoRXc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mei @liamoc I am aware of this point of view, but I would find it more compell… |
|
|
|
Post #AuIQ36YWQTB9YdtiGu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pigworker @jonmsterling sounds like something Guy Steele Jr might say |
|
|
|
Post #AuIQ6KO9S7ihKOaFsG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @mei @liamoc This would require for Rust ecosystem to completely … |
|
|
|
Post #AuIQ6t5aR8fMwxAQIS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@pj @mei @liamoc I mean, yeah, that’s why I think the dream is unrealistic fo… |
|
|
|
Post #AuIQFiwfWL925zD2Tg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @liamoc I'd argue that a core part of systems programming is … |
|
|
|
Post #AuIQNaKbQmelhF9Wtc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@JonathanAldrich @jnkrtech My experience was there are so many false positives … |
|
|
|
Post #AuISEcYM07MjtCRDV2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @JonathanAldrich when you say false positives do you mean cases o… |
|
|
|
Post #AuIhnHQA3nH1nTagng by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@jonmsterling @jnkrtech For my part, I don't fully trust it, but I use it a… |
|
|
|
Post #AuMC208MCCcycn4vOS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @rzeta0 Where can I learn about (3)? |
|
|
|
Post #AuMC2JBtLHkDjFsW2a by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@anuytstt @rzeta0 The Lean documentation is a great place to start. In case it … |
|
|
|
Post #AuaF093v36RDoPFS88 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @rzeta0 ahem, idris was there before... |
|
|
|
Post #AuaF099wghG6764GWW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ohad @jonmsterling @rzeta0 Although the *result* of Lean and Idris are rather … |
|
|
|
Post #AuaF09FyKI4yPmt4uu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ohad @jonmsterling @rzeta0 (In particular, the idea that fancy pattern-matchin… |
|
|
|
Post #AuaF09MhvFT0kg2SPo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mevenlennonbertrand @ohad @jonmsterling @rzeta0 I agree with Meven here. The w… |
