Plugins en C++

[Disharmonic]

bewijzen en programmeertalen.... ik ben benieuwd of zoiets fundamenteels bestaat.

Bij het lezen over talen als Coq kwam ik het volgende tegen, het bestaat inderdaad:

Curry–Howard-isomorfisme - Wikipedia

nl.wikipedia.org

 

[vink]

Bij het lezen over talen als Coq kwam ik het volgende tegen, het bestaat inderdaad:

Curry–Howard-isomorfisme - Wikipedia

nl.wikipedia.org

is over mijn hoofd, maar kan het enigszins volgen. zeker interessant. ik ga verder lezen, dank!

 

[ProgHead]

Bij het lezen over talen als Coq kwam ik het volgende tegen, het bestaat inderdaad:

Curry–Howard-isomorfisme - Wikipedia

nl.wikipedia.org

Dat gaat mij ook boven de pet. Om dat te kunnen volgen moet je een afgestudeerd wiskundige zijn. Wat voor gewone stervelingen nog wel te doen moet zijn is SWI-Prolog:



Op mijn Linux Mint computer zit dat programma al in de repositories. Ik wil daar ooit ook nog eens naar kijken. Er is nog zoveel te doen...

Maar om weer terug te keren naar de creatie van audio software met C++: mijn volgende uitdaging is om mijn progje van een fraaie GUI te voorzien...