Domande con tag 'felix'

Supponiamo di avere un insieme di funzioni che caratterizzano qualcosa: nei metodi del mondo OO che caratterizzano un tipo. In matematica queste sono proposizioni e abbiamo due tipi: assiomi e lemmi. Gli assiomi sono assunzioni, i lemmi sono fac...

Qual è il design corretto per un ciclo for ? Felix attualmente usa if len a > 0 do for var i in 0 upto len a - 1 do println a.[i]; done done che include il limite superiore. Questo è necessario per supportare l'intera ga...