Thread 106126919 - /g/ [Archived: 436 hours ago]

Anonymous
8/3/2025, 4:36:35 PM No.106126919
pepe cringe
pepe cringe
md5: 1f6d674dd47f20841b94dbd76efd31c6🔍
>type theory
>programming language theory
Replies: >>106126983 >>106127638
Anonymous
8/3/2025, 4:45:08 PM No.106126983
Alonzo_Church
Alonzo_Church
md5: fd9ca6bc5c2e4ea8c19fedd808357402🔍
>>106126919 (OP)
stay mad pajeet
Replies: >>106127001
Anonymous
8/3/2025, 4:47:04 PM No.106127001
>>106126983
>picture of a guy who never shipped a single piece of production software in his entire life and just jerked off in a university all day
this is why i made op
Replies: >>106127039
Anonymous
8/3/2025, 4:48:34 PM No.106127011
Schizo math abstractions are cancer.
Anonymous
8/3/2025, 4:52:11 PM No.106127039
>>106127001
>bloody sir bastard never shit out a piece on working designated street in his life, bitch bloody university bitch
Anonymous
8/3/2025, 6:09:56 PM No.106127638
>>106126919 (OP)
That's okay, frogposters can stay mad about higher technical concepts of programming.
Replies: >>106127672 >>106128077 >>106128218
Anonymous
8/3/2025, 6:13:20 PM No.106127672
>>106127638
You can build yourself into the stratosphere on top of a mountain of academic theology but none of it will actually be useful for writing real programs.
Replies: >>106127762
Anonymous
8/3/2025, 6:22:33 PM No.106127762
>>106127672
But static typing is really good for writing real programs, especially more complex ones.
Replies: >>106127782
Anonymous
8/3/2025, 6:24:20 PM No.106127782
>>106127762
static/dynamic typing has nothing to do with type theory
Replies: >>106128031
Anonymous
8/3/2025, 6:49:08 PM No.106128031
>>106127782
God can we not do this retard shit today?
Static typing is generally done via static program analysis with rules pertaining to the particular type theory that the language was designed with. For example, it doesn't make sense for a dynamic typed language to have a unit type, but it can be borderline necessary in a statically typed language.
Replies: >>106128077 >>106128218
Anonymous
8/3/2025, 6:53:50 PM No.106128077
>>106127638
>>106128031
nta but this sounds fucking retarded
https://chatgpt.com/share/688f9351-449c-800f-a73c-4940348ec5f3
wtf is type theory about and why should i care?
Replies: >>106128218
Anonymous
8/3/2025, 7:08:54 PM No.106128218
>>106127638
>>106128031
>>106128077
cont
i bet you dont use type theory yourselves
this is so fucking retarded
>how can i reformulate programming ops into math shit so that i can use math tools to reason about them
problem is
its pretty fucking hard to map programming ops to math stuff and so we end up with aberations nobody wants to use like rust

i get it now
but i still find it retarded
if the representation youre working with doesnt fit the subjascent phenomenon
change your representation
type theoryfags:
>nah we will change the underlying phenomenon to fit out theories
fukken lamao
and then you hear shit like "nuh worse is better"
and
"if the hardware was adapted to lisp then my shit would've been faster"
Anonymous
8/3/2025, 7:16:37 PM No.106128294
its crazy
a whole class of languages has been created since decades because someone somewhere was too headstrong to accept his representation is imperfect