Anonymous at Sun, 16 Jun 2024 12:35:15 UTC No. 16237695

>>16237126
>programming languages
Look at this autist.

Anonymous at Sun, 16 Jun 2024 12:39:26 UTC No. 16237704

>>16237695
I was under the impression that algorithms departments are even more autistic, but I guess PL is up there. Definitely no ML chads in my dept.

Anonymous at Sun, 16 Jun 2024 13:02:09 UTC No. 16237725

>>16237126
>>>/g/

Anonymous at Sun, 16 Jun 2024 13:12:56 UTC No. 16237732

>>16237725
it's an academic conference, retard

Anonymous at Sun, 16 Jun 2024 13:14:42 UTC No. 16237735

>>16237704
>I was under the impression that algorithms departments are even more autistic, but I guess PL is up there.
Nah, PLT is turbo autistic. Monadic type theory bullshit and lattice shit for static analysis.

Anonymous at Sun, 16 Jun 2024 13:24:40 UTC No. 16237748

>>16237735
Yeah, sure PL has a lot of super abstract shit but it also bridges into fairly applied work as well, so it's not all turboautism.
I think there are far more people doing applied compiler work than type theory, for example.

Anonymous at Sun, 16 Jun 2024 13:27:39 UTC No. 16237752

>>16237748
>applied compiler work
My first two thoughts are nonsense with parsing or lexing (who cares?) and ML applied to random bullshit. And Racket. Lots of Racket.

Anonymous at Sun, 16 Jun 2024 13:31:46 UTC No. 16237760

Did any of those Lisp static type systems go anywhere? There was that one guy hacking types for Clojure and Racket. The Racket paper was p. good. They had a neat system for combing typed and untyped modules.

Anonymous at Sun, 16 Jun 2024 13:36:28 UTC No. 16237765

>>16237760
No idea, link to paper. Was it a U of Utah guy? I know they have some racket guy that works on gradual types

Anonymous at Sun, 16 Jun 2024 13:40:29 UTC No. 16237771

>>16237765
This guy: https://homes.luddy.indiana.edu/samth/
https://arxiv.org/abs/1106.2575

Anonymous at Sun, 16 Jun 2024 14:05:12 UTC No. 16237795

>>16237126
what is the point of this field? making even more programming langs when there are already thousands in existence already

Anonymous at Sun, 16 Jun 2024 14:27:11 UTC No. 16237820

>>16237795
Making new languages is a little retarded, but figuring out how to make simple intuitive semantics that can be implemented efficiently is hard. Semantics that look easy often aren't, "If you return in the code of a try block and the code of the associated finally block, what should happen? Why? Does this break any other semantics?" Static analysis (to make things faster, safer) is super difficult because of the halting problem, "Does this code block ever run in an unsafe situation? I don't even know if the preceding block halts." Stuff like Go or Dart is retarded and pointless, but there's a lot of interesting stuff to work on.

Anonymous at Sun, 16 Jun 2024 14:40:28 UTC No. 16237837

>>16237795
Most academic languages are just research vehicles and no one expects them to ever gain any real traction. I think the field addresses three major areas
> How to ensure program correctness
> How to write better programs/express ideas easier
> How to make programs faster
And all three are hard and very much "unsolved".

Anonymous at Sun, 16 Jun 2024 17:16:59 UTC No. 16238014

copenhagen is a shithole

Anonymous at Sun, 16 Jun 2024 20:50:54 UTC No. 16238319

Not going to Copenhagen lmao. Id rather go to Amsterdam and smoke some shit then go bang hoes at red light

Anonymous at Mon, 17 Jun 2024 04:49:09 UTC No. 16238994

i'd love to go, but damn, the financials are prohibitive...

1-2k usd round trip flight,
1-2k usd hotel
and then the extra 50 euros on top for admission
and then more to attend workshops?

maybe next year ....