|
rotor posted:types schmypes dhh's alt spotted
|
# ? Sep 9, 2023 04:28 |
|
|
# ? May 27, 2024 19:56 |
|
you know its just gonna end up as a string somewhere eventually
|
# ? Sep 9, 2023 04:30 |
|
the thing that gets me about type brained people is that they go on and on about safety, when the actually useful thing about types is being able to do safe transformations of code, in your editor this is the wisdom imparted to me by spj
|
# ? Sep 9, 2023 04:32 |
|
types are cool and good
|
# ? Sep 9, 2023 04:33 |
|
also i do want to mention the paper "threesomes: with and without blame" because you need to understand that type theorists are not serious people
|
# ? Sep 9, 2023 04:33 |
|
Shaggar posted:types are cool and good you know what's cooler than types? reflection
|
# ? Sep 9, 2023 04:34 |
|
cant do reflection without types
|
# ? Sep 9, 2023 04:34 |
|
Shaggar posted:cant do reflection without types idk i feel like u can but its friday and im not gonna think about it any more
|
# ? Sep 9, 2023 04:38 |
|
if you dont have types then theres nothing to reflect on
|
# ? Sep 9, 2023 04:39 |
|
I like reflection and good editing experiences
|
# ? Sep 9, 2023 04:42 |
|
tef posted:you know what's cooler than types? reflection shove this in your type hole and reflect it
|
# ? Sep 9, 2023 04:42 |
|
Shaggar posted:cant do reflection without types sure, but it's funny that reflection is usually something restricted to dynamic languages, when it's really, really useful like, go makes heavy use of reflection to handle serialization and deserialization
|
# ? Sep 9, 2023 04:42 |
|
Bloody posted:I like reflection and good editing experiences reflection is great, big reflection fan here, but im not sure what definition of “reflection” implies strong typing
|
# ? Sep 9, 2023 04:44 |
|
if a language is turing-complete you can't prove nontrivial properties of its programs you can write lots of interesting and even useful programs in languages that are carefully designed to not be turing-complete, and prove things about them alternatively, you can use a type system to create a simplified model of the constraints in a turing-complete program, and then prove things about that model if the type system is sufficiently powerful you wind up even worse than you started, unable to conclusively prove things about a simplified model of something you can't conclusively prove things about some type-checking is very handy, but there's a diminishing return, and you can easily invent hideously complicated problems for yourself that don't actually need to exist
|
# ? Sep 9, 2023 04:50 |
|
bad news nerdlingers: aint no one doing proofs and poo poo
|
# ? Sep 9, 2023 04:52 |
|
getting so mad at all of uShaggar posted:types are cool and good except for shaggar, shaggar was right
|
# ? Sep 9, 2023 04:59 |
|
tef posted:also i do want to mention the paper "threesomes: with and without blame" because you need to understand that type theorists are not serious people without looking it up I knew this was gonna be some phil wadler horseshit
|
# ? Sep 9, 2023 05:00 |
|
tef posted:sure, but it's funny that reflection is usually something restricted to dynamic languages, when it's really, really useful .net also uses reflection for serialization
|
# ? Sep 9, 2023 05:00 |
|
or code generators which are like reflection except Sooner
|
# ? Sep 9, 2023 05:17 |
|
leper khan posted:Ruby has a thing like obj-c swizzle too well yeah it’s basically just Smalltalk with much worse syntax just use Smalltalk or ObjC
|
# ? Sep 9, 2023 06:02 |
|
Internet Janitor posted:if a language is turing-complete you can't prove nontrivial properties of its programs you can't build a general method for finding a proof that's deterministic (terminates)
|
# ? Sep 9, 2023 06:18 |
|
tef posted:you can't build a general method for finding a proof that's deterministic (terminates) maybe we just havent tried hard enough
|
# ? Sep 9, 2023 06:20 |
|
tef posted:the thing that gets me about type brained people is that they go on and on about safety, when the actually useful thing about types is being able to do safe transformations of code, in your editor this is why automapper drives me nuts
|
# ? Sep 9, 2023 07:20 |
|
Internet Janitor posted:if a language is turing-complete you can't prove nontrivial properties of its programs This is wrong. It is a basic school exercise to prove soundness ("absence of crashes") for toy Turing complete typed languages. (Which I guess is a trivial property in the theoretical sense if the language is well designed.) People also prove nontrivial properties of languages written in Turing-complete languages... not all the time because it is a chore, but it's hardly never, and certainly not impossible. Rice's theorem is really not as big a problem as that. Athas fucked around with this message at 13:58 on Sep 9, 2023 |
# ? Sep 9, 2023 07:20 |
|
i did meet someone who went on about determinism and proofs in software, but i found out they did total functional programming so i gotta appreciate them commiting to the bit
|
# ? Sep 9, 2023 07:31 |
|
susan b buffering posted:this is why automapper drives me nuts the guy who wrote automapper wrote a lengthy explanation of why his company pragmatically came up with it to efficiently solve a very specific production issue in their particular codebase in the spirit of chesterton's fence, after reading that explanation i now feel vastly more confident in declaring that automapper is wrong and nobody should use it ever, including the original author and his company
|
# ? Sep 9, 2023 09:17 |
|
been thinking a lot lately about how chestertons fence is only a useful parable if your predecessors aren’t morons with a penchant for fence building
|
# ? Sep 9, 2023 11:19 |
|
is total function programming where you literally type a lambda on your typewriter
|
# ? Sep 9, 2023 11:53 |
|
my homie dhall posted:been thinking a lot lately about how chestertons fence is only a useful parable if your predecessors aren’t morons with a penchant for fence building so you figured out why the fence was there
|
# ? Sep 9, 2023 13:07 |
|
NihilCredo posted:the guy who wrote automapper wrote a lengthy explanation of why his company pragmatically came up with it to efficiently solve a very specific production issue in their particular codebase i gotta ask what the gently caress people are doing
|
# ? Sep 9, 2023 13:59 |
|
rotor posted:bad news nerdlingers: aint no one doing proofs and poo poo This continues to make me sad on an ongoing basis. Most people don't even read papers. Bloody posted:or code generators which are like reflection except Sooner I see people code gen reflection in performance sensitive contexts and it makes me very upset.
|
# ? Sep 9, 2023 14:14 |
|
leper khan posted:This continues to make me sad on an ongoing basis. Most people don't even read papers. hey, some of us can’t read
|
# ? Sep 9, 2023 14:28 |
|
if reading papers is so important maybe they shouldnt all be formatted as two column pdfs that are annoying as gently caress to read on a computer or phone also they should be written in language me, a college dropout, can understand. none of these drat weird symbols either. dont know how im supposed to just remember what poo poo the half-life logo means in computers
|
# ? Sep 9, 2023 14:34 |
|
abraham linksys posted:if reading papers is so important maybe they shouldnt all be formatted as two column pdfs that are annoying as gently caress to read on a computer or phone don't worry about it, all the good papers are behind a paywall
|
# ? Sep 9, 2023 14:48 |
|
abraham linksys posted:if reading papers is so important maybe they shouldnt all be formatted as two column pdfs that are annoying as gently caress to read on a computer or phone abraham linksys posted:also they should be written in language me, a college dropout, can understand. none of these drat weird symbols either. dont know how im supposed to just remember what poo poo the half-life logo means in computers
|
# ? Sep 9, 2023 14:53 |
|
NihilCredo posted:the guy who wrote automapper wrote a lengthy explanation of why his company pragmatically came up with it to efficiently solve a very specific production issue in their particular codebase yeah that article is good. thankfully replacing it is the sort of menial activity meetings were invented for
|
# ? Sep 9, 2023 14:54 |
|
Dijkstracula posted:PLDI papers are single-column parsing papers deserve a special shoutout
|
# ? Sep 9, 2023 14:58 |
|
abraham linksys posted:also they should be written in language me, a college dropout, can understand. none of these drat weird symbols either. dont know how im supposed to just remember what poo poo the half-life logo means in computers https://www.youtube.com/watch?v=jVyz3lWH2bA It focuses primary on how to read papers with type theory in it because Ron's a type guy - I could have sworn I'd come across a broader one but damned if I can find it now. Nonetheless it's still a good talk imho
|
# ? Sep 9, 2023 15:07 |
|
Dijkstracula posted:Thinking about this a bit more: there have been a few talks at places like Papers We Love Conf that do a good job of explaining the basics of reading PL papers: Ron Garcia's keynote is an especially good, broad survey of "what even are all these greek symbols" gonna watch this during my ketamine infusion today, thanks
|
# ? Sep 9, 2023 16:25 |
|
|
# ? May 27, 2024 19:56 |
|
Shaggar posted:if you dont have types then theres nothing to reflect on in javascript you simply call Function.prototype.toString() then use an npm hosted library to parse the function you're "reflecting" on
|
# ? Sep 9, 2023 16:34 |