[Altru]

#heheszki #takaprawda #programowanie

[t.....y]

@Altru:
w gruncie rzeczy to bardziej jestem zesrany jak się kompiluje za pierwszym razem (・へ・)
bo wtedy jeszcze sam nawet nie do końca rozumiem co robi mój kod ( ͡° ͜ʖ ͡°)

[Nicolas_Bourbaki]

@thexDguy: Tekst z grafiki niby prześmiewczy, ale to jest chyba święty graal współczesnych projektantów języków programowania: mieć pewność, że jak program się kompiluje to działa poprawnie

[t.....y]

@Nicolas_Bourbaki:
jest to matematycznie niewykonalne :)
https://pl.wikipedia.org/wiki/Problem_stopu

[D.....7]

@Altru: Wy tak serio cale zycie na tym swietym programowaniu za 15k? I jeszcze sie tym chwalicie? No w pyte elita, jakby was moj szefo zobaczyl to byscie dyscyplinary brali po kule glupie #!$%@? ( ͡°( ͡° ͜ʖ( ͡° ͜ʖ ͡°)ʖ ͡°) ͡°)

[Antyradek]

@Altru: Można także programować w Pythonie, gdzie informację o błędzie dostajesz dopiero jak kod dojdzie do tego miejsca ( ͡° ͜ʖ ͡°)
I to jest katastrofa, ale jakoś wszyscy kochają ten język.

[p__b]

@Nicolas_Bourbaki sprawdź sobie jezyk "Pony"

[Nicolas_Bourbaki]

@thexDguy: Raczej myślałem o :

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

[t.....y]

@Nicolas_Bourbaki: możesz uzyskać pewność ale mocno ograniczając klasę akceptowanych programów/twierdzeń. Żeby odrzucić te które mają szanse mieć problem stopu, jednocześnie odrzucasz zupełnie poprawne i pewnie nie da się tego obejść.