@rkruppe: Como ya se señaló en la discusión anterior, estos realmente no son tipos dependientes o tipos Pi, al menos no hasta que se acepte #1933. Tuve que leer cuidadosamente ambos RFCs para llegar a esta conclusión, así que esto debería ser realmente aclarado para hacer este RFC preciso y autocontenido. Un buen término que se ha utilizado antes es “tipos dependientes de la const”.
Personalmente, estoy de acuerdo en que deberíamos dar un nombre mucho mejor que tipos Π para esto. No vamos a usar ese nombre en el libro de Rust, y aunque entender la teoría de tipos es necesario para la implementación, no creo que sea necesario para el usuario medio.
Me preguntaba si se podría crear un tipo de valor a partir de un valor en tiempo de ejecución y un tiempo de vida, de modo que el valor actuara básicamente como un parámetro implícito, mientras que el tiempo de vida dicta dónde debe resolverse la prueba. Como ejemplo :
Creo que 3 se hará cada vez más popular de todos modos, pero los tipos dependientes de const, o sólo un fragmento de ellos, hace que hacerlo sea limpio e idiomático, en lugar de un marasmo de hacks de traits, y te permiten evitar los tipos sin tamaño.
Pi /ˈpaɪ/ (mayúscula Π, minúscula π y ϖ; griego: πι [pi]) es la decimosexta letra del alfabeto griego, que representa la plosiva bilabial sorda IPA: [p]. En el sistema numérico griego tiene un valor de 80. Deriva de la letra fenicia Pe (). Entre las letras que surgieron a partir de pi se encuentran la P latina, la Pe cirílica (П, п), la pi copta (Ⲡ, ⲡ) y la pairthra gótica ().
o ϖ) es una variante del glifo pi minúscula que se utiliza a veces en contextos técnicos. Se parece a una omega minúscula con macrón, aunque históricamente es simplemente una forma cursiva de pi, con sus patas dobladas hacia dentro para que se junten. También se utilizaba en la escritura minúscula. Es un símbolo de:
Las codificaciones de caracteres de las tablas anteriores están pensadas para su uso como símbolos matemáticos. El texto escrito en griego (es decir, las palabras, a diferencia de las matemáticas) no debe proceder de ninguna de las tablas de esta página, sino que debe utilizar las letras griegas normales, que tienen números de código diferentes y a menudo un aspecto distinto. Utilizar los símbolos matemáticos para mostrar palabras (o viceversa) puede dar lugar a un espaciado incoherente y a un aspecto torpe y desajustado.
Ver . (1) La noción de que la frase “pie (o pi o pye) the type” tiene algo que ver con pi el número es dudosa, por decir lo menos.(2) Dudo que “pi” como verbo se usara fuera de la fraternidad tipográfica.(3) Pi el número es irracional y trascendental (en el sentido matemático), pero eso no tiene nada que ver con la aleatoriedad.
Para añadir al comentario de Porche, he aquí una definición de thefreedictionary.com:pi también pie, Printingn. pl. pis también piesUna cantidad de tipo que ha sido mezclada o lanzada al azar.v. pied (pd) también pied, pi-ing también pie-ing, pies también piesv.tr.To jumble or mix up (type).v.intr.To become jumbled.My speculation is that the term does not derive from the mathematical term. Me parece más probable que haya derivado de “pied”, un adjetivo que significa “de dos o más colores en manchas; también que lleva o tiene un pelaje de color parcial. ejemplo: un caballo pied” (Merriam-Webster) O un flautista de Hamelín, para el caso. Merriam-Webster data la palabra “pied” en el siglo XIV. La imprenta, en concreto los tipos móviles, empezó a utilizarse en Europa a mediados del siglo XV. Quizá los primeros impresores adoptaron la palabra como sustituto de “jumbled”, otra palabra del siglo XV. Tal vez apreciaron su economía de letras.
El valor de pi es la relación entre la circunferencia de un círculo y su diámetro. El símbolo de pi se denota como π. También se denomina constante de Arquímedes, en honor al matemático griego Arquímedes, que creó un algoritmo para aproximar el valor de pi. El valor de pi es irracional, lo que significa que la cuenta de dígitos después del punto decimal es infinita. Se utiliza como 3,1415929 o 22/7. En geometría, se utiliza para calcular la superficie, el volumen y la circunferencia de varias formas tridimensionales.
El valor de “pi” es constante, lo que significa que no puede modificarse. Es un número irracional que suele aproximarse a 3,14. Se utiliza en varias fórmulas para medir la superficie y el volumen de varias formas sólidas. Pi se define como el cociente entre la circunferencia del círculo y el diámetro del mismo. Sabemos que el diámetro de un círculo es el segmento de línea más largo que pasa por el centro del círculo. Imaginemos que la línea del diámetro se dobla de forma que cubre una parte de la circunferencia del círculo. Ahora, π se define como el número total de veces que el diámetro rodea la circunferencia del círculo, que es 3,14 veces aproximadamente.