Sistema de tipos
En ciències de la computació, un sistema de tipos definix cóm un llenguage de programació classifica els valors i les expressions en tipos i definix cóm es manipulen i interactuen estos tipos. Un tipo de senya indica un conjunt de valors que tenen el mateix significat, propòsit o representació. Els sistemes d'tipificación varien significativament entre llenguages, sent potser la distinció més significativa la de sistema interpretat en contraposició a compilado.
Un compilador o intérpret pot usar el tipo d'un valor per a optimisar l'almagasenament en memòria, l'elecció dels algoritmes per a operacions sobre eixe valor o determinar la validea d'una operació concreta. Per eixemple, en molts compiladors de C el tipo de senya "flotant" es representa en 32 bits, d'acort en l'especificació IEEE per als números de menge flotant de simple precisió. En esta informació, C llimita les operacions sobre estos a les específiques de menge flotant i, en cas que existixca ambigüitat d'operacions, elegix les correctes per al tipo.
El tipo d'una expressió llimita les operacions aplicables a la mateixa. Ademés, un llenguage de programació pot associar una operació en diferents algoritmes depenent del tipo de senya per mig del mecanisme del polimorfisme. En matemàtiques i llògica, la teoria de tipos és l'estudi dels sistemes de tipos. Els sistemes de tipos concrets dels llenguages de programació es varen originar, basant-se en estos estudis, per a solucionar els problemes tècnics que presentaven les arquitectura dels computadors i reduir tot lo possible proliferació d'errors dels llenguages de programació.
Significat
[editar | editar còdic]Assignar tipos de senyes (tipificar) dona significat a coleccions de bits. Els tipos de senyes són associacions de valors en la memòria en un sistema per a interpretar-los. En un llenguage orientat a objectes, per eixemple, assignar una classe a una variable és equivalent a donar-li a eixa variable les característiques (atributs i métodos) propis de la classe.
Com qualsevol valor simplement consistix en un conjunt de bits d'un ordenador, el hardware no fa distinció entre direccionar de memòria, còdics d'instrucció, caràcters, sancers o números de menge flotant. Els tipos de senyes informen als programes i desenrolladors sobre la correcta interpretació i les operacions aplicables sobre una expressió o valor.
Utilitat
[editar | editar còdic]Les principals funcions que els sistemes d'tipificación oferixen són:
Seguritat
[editar | editar còdic]L'us de tipos de senyes pot permetre a un compilador detectar incoherències en el significat o còdic provablement inválido.
Per eixemple, podem identificar una expressió 3 / "Hello, World" com inválida perque l'operació de divisió no està definida sobre un sancer i una cadena de caràcters.
Un sistema de tipado oferix més seguritat, pero no garantisa l'absència d'errors (vore seguritat de la tipificación para més informació).
Un sistema de tipado estàtic pot proveir al compilador d'informació adicional, com la llongitut d'una variable, útil per a l'alliniació de la memòria, aixina reduint la cantitat de càrregues de pàgina o reasignación per falta d'espai, en compactar la representació de les senyes.
En sistemes d'tipificación més expressius, els tipos de senyes poden servir com una forma de documentació, en ilustrar l'intenció del programador i llimitar els usos incorrectes d'operacions definides.
Per eixemple, les variables en significat "duració temporal" poden ser representats com a sancers, pero si un programador declara una funció com que torna un element de tipo "duració" que siga un subtipo de sancer en lloc d'un sancer genèric, codifica part del significat de la funció en el seu valor de tornada.
Els tipos de senyes permeten generalisacions versàtils que reduïxquen la complexitat d'operacions. Si es definix un tipo llista de items de tipo genèric, una implementació genèrica d'operacions pot ser codificada sense tindre en conte la llongitut de cada element de la llista o de la forma concreta dels mateixos.
Ademés, els tipos de senyes poden permetre als programadors expressar l'Interfaç entre dos subsistema, enumerant els requeriments per a la interoperabilidad dels subsistema i evitant inconsistencias quan estos subsistema es comuniquen. Per eixemple, suponent dos sistemes, un codificat en Java i un atre en Python, si es definix un estàndart de representació de senyes com JSON, qualsevol valor de Java que siga representat seguint este sistema podrà ser decodificado per Python a un valor equivalent sense importar la forma o representació concreta de les senyes.
Vore també
[editar | editar còdic]Referències
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Sistema de tipos» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.