On related topic, C++'s templates are a good idea, but badly thought out.
Uncategorized
6
Posts
4
Posters
0
Views
-
On related topic, C++'s templates are a good idea, but badly thought out.
There should be a Prolog embedded into the template language.
-
On related topic, C++'s templates are a good idea, but badly thought out.
There should be a Prolog embedded into the template language.
@riley why Prolog? It’s good at like… theorem proving and asking questions but… general-purpose…
-
On related topic, C++'s templates are a good idea, but badly thought out.
There should be a Prolog embedded into the template language.
-
@riley why Prolog? It’s good at like… theorem proving and asking questions but… general-purpose…
-
@aburka Thanks! I'll need to give it a try.
-
undefined oblomov@sociale.network shared this topic on
-
@riley why Prolog? It’s good at like… theorem proving and asking questions but… general-purpose…
@Elizafox Well, yes, I want it to prove the theorem that my program is correct and no assertion ever fails.
Gli ultimi otto messaggi ricevuti dalla Federazione
-
Gaffe in conferenza stampa: Lillo Petrolo diventa “Petrolio”... compagno Lillo fatti sentire!
-
@gmarcosanti sei in buona compagnia 🤣
-
@matz @oblomov @lysander @marcoboh esiste una pronuncia corretta delle "e" e delle "o" dai cui dipende il significato della parola (pésca/pèsca, bótte/bòtte...) e poi esiste un accento regionale locale che apre o chiude le vocali a prescindere dal significato. E spesso nel parlare quotidiano prevale quest'ultimo.
-
vedo l'anteprima, ma il player non dà suono. Mi capita spesso, credo sia un problema da questo lato.
-
-
@repubblica @politica-la-repubblica-repubblica dimissioni si ma di salvinì!
-
@jawarajabbi @ldmay65 @causticmsngo @jzillw @cstross
And, we presume, have substantial vested interest in not collapsing....
-
Smart working, dipendente si fa male in casa sua a Padova. Riconosciuto l’infortunio sul lavoro....toghe rosse l'ha già detto quella che non ha mai lavorato?
