Programmeertalen

Alle onderwerpen die te maken hebben met de takken van de filosofie, zoals ethiek, metafysica en taalfilosofie hebben hier een bestaansrecht.
Plaats reactie
Gebruikersavatar
arkhétupos
Posts in topic: 3
Berichten: 6691
Lid geworden op: 31 mar 2019, 21:35
Contacteer:

Programmeertalen

Bericht door arkhétupos » 16 nov 2020, 22:53

"Elke programmeertaal behelst een eigen filosofie."

Dat is een uitdrukking.

Volgens die uitdrukking is elke programmeertaal onderhevig aan een bepaald pragma.

Een pragma dat proponenten van die taal populair trachten te maken, teneinde hetzelfde pragma ook voor andere programmeertalen te laten gelden.
Met als doel dat elke programmeur in dezelfde pragmatische taal gaat programmeren.

De uitkomst? Zie verderop bij *


Een mooi voorbeeld daarvan is: Scheme, waar de ontwerpers ervan schreven:
"This work developed out of an initial attempt to understand the actorness of actors"

::
the actorness of actors
Wat is de functie van een functie?
λx -> y.x

De functie van deze "functie" is x binnen de grenzen te houden, welke beschreven worden door een y.

Als y de hardware is, dan is x gebonden aan die hardware.

::

Kunstmatige intelligentie is niet afhankelijk van de hardware, maar van de invoer.
(Van de "wetware" of "het programma", als het ware.)

λy -> y.x

Daarmee is KI dus afhankelijk van zowel de mogelijke abstraheerbaarheid van begrippen, als wel van het (on)vermogen van de programmeur(s).

De hardware is, in feite, niet ter zake doende. (Of het nu een microprocessor uit 1970 betreft of een quantumcomputer van anno nu)


Dat iets programmeerbaar is, houdt meer in dat dat iets in staat is opdrachten uit te voeren met een 100% waarschijnlijke uitkomst.
(Als dat niet zo was, waarom dan nog programmeren?)

::

"Mensen kunnen niet programmeren"

Of, anders gezegd, mensen kunnen heel goed programmeren, maar zijn niet in staat hun instructies uit te leggen aan andere mensen.
Met weer andere woorden:
Jij hebt een programma geschreven op de "levenscomputer" dat voor jou perfect schijnt te werken.
Helaas heb je geen rekening met grensbepalingen gehouden.

Een simpel voorbeeld:

Code: Selecteer alles

x = "miljonair"
y = "armoede"
y heeft 3 minder dan x

λx -> y.x

geeft -3

Wat zegt dat?

Hoe correleer ik -3 aan armoede en rijkdom?

Niet.

Ik gebruik de verkeerde gereedschappen om een niet bestaand probleem mee te creëren/op te lossen.

::

Een miljonair die eerst miljarden had is waarschijnlijk erger af dan een armoedzaaier die geen bedelaar hoeft te zijn.

λx -> x.x

Zelfkennis is een onmogelijke constructie om mee te rekenen.
Want zelfkennis leidt tot zelfmedelijden.
Zelfmedelijden leidt tot ontevredenheid
Ontevredenheid leidt tot lijden.

λy <- x.y

Het is altijd de schuld van x.

::

std::life{
If True then don't do this
Else do do this
else if true is false then
never do this
break
elseif if not true or false
do forever.
return}

::

If TRUE do while not FALSE until TRUE


NOTA BENE

* Excel is de meest gebruikte programmeertaal.
certo emotionibus cognoscere semper cedit aliquid scio nihil scire ideo me
The King and the Priest are unity: "One keeps them poor, one keeps them dumb"
Begrijpen en verstaan is hetzelfde als meten zonder gissen.

Gebruikersavatar
arkhétupos
Posts in topic: 3
Berichten: 6691
Lid geworden op: 31 mar 2019, 21:35
Contacteer:

Bericht door arkhétupos » 20 nov 2020, 20:29

Niemand is verantwoordelijk voor creativiteit?
certo emotionibus cognoscere semper cedit aliquid scio nihil scire ideo me
The King and the Priest are unity: "One keeps them poor, one keeps them dumb"
Begrijpen en verstaan is hetzelfde als meten zonder gissen.

Gebruikersavatar
arkhétupos
Posts in topic: 3
Berichten: 6691
Lid geworden op: 31 mar 2019, 21:35
Contacteer:

Bericht door arkhétupos » 20 nov 2020, 21:20

Tjsonge!

Geen filosofen onder de programmeurs, blijkbaar.

Amai! De wereld is aan het vergaan!

Blijkbaar!
certo emotionibus cognoscere semper cedit aliquid scio nihil scire ideo me
The King and the Priest are unity: "One keeps them poor, one keeps them dumb"
Begrijpen en verstaan is hetzelfde als meten zonder gissen.

Plaats reactie

Wie is er online

Gebruikers op dit forum: Geen geregistreerde gebruikers en 1 gast