Topic
lenguaje de programación funcional con tipos dependientes
Be the first in the room — members see you arrive.
Join the roomEpigram es un lenguaje de programación funcional con tipos dependientes, y el entorno de desarrollo integrado (IDE) usualmente empaquetado con el lenguaje. El sistema de tipos de Epigram es lo suficientemente fuerte como para expresar especificaciones de programas. El objetivo es apoyar una transición fluida desde la programación ordinaria hasta programas y pruebas integrados cuya corrección pueda ser verificada y certificada por el compilador. Epigram explota la correspondencia de Curry–Howard, también denominada el principio de proposiciones como tipos, y se basa en la teoría de tipos intuicionista.
Not who you're looking for? Others named Epigram: brief poem · student newspaper at the University of Bristol · Canadian-bred Thoroughbred racehorse
“EPIGRAM, n. A short, sharp saying in prose or verse, frequently characterize by acidity or acerbity and sometimes by wisdom.”
“"You are too free spoken," is your constant remark to me, Chœrilus. He who speaks against you, Chœrilus, is indeed a free speaker.”
“If you wish, Faustinus, a bath of boiling water to be reduced in temperature,—a bath, such as scarcely Julianus could enter,—ask the rhetorician Sabinæus to bathe himself in it. He would freeze the warm baths of Nero.”
“You were constantly, Matho, a guest at my villa at Tivoli. Now you buy it—I have deceived you; I have merely sold you what was already your own.”
“And have you been able, Flaccus, to see the slender Thais? Then, Flaccus, I suspect you can see what is invisible.”
“I treated Art as the supreme reality, and life as a mere mode of fiction. I awoke the imagination of my century so that it created myth and legend around me: I summed up all systems in a phrase, and all of existence in an epigram.”
Quotes via Wikiquote (CC BY-SA), each with its original source.
