microempresas

Inferencia de tipos
Los tipos de inferencia es una característica predominante de los lenguajes de programación funcionales tales como ML, Haskell, C#, Vala y Ocaml.
La inferencia de tipos asigna automáticamente un tipo de datos a una función sin necesidad de que el programador lo escriba. El tipo de las funciones es reconstruido a partir de un análisis estático del programa realizado por elcompilador o intérprete del lenguaje, a partir de las definiciones previas y del uso de las variables en el cuerpo de las funciones.
Ejemplo[editar · editar código]
Una definición de la función longitud de lista en Haskell se puede definir de la siguiente forma: ==
-- Función longitud
-- [] denota una lista vacía
-- (prim:resto) denota una lista formada por un elemento, prim, concatenado oconstruido con el resto
-- : operador constructor de listas.
function longitud
longitud [] = 0
longitud (prim:resto) = 1 + longitud resto
Al leer esta definición se observa que su argumento es una lista, que los valores de los elementos de la lista no influyen en el resultado y que este resultado siempre es un número (cero o el resultado de una suma). De estas observaciones, el compiladorpuede deducir el tipo de la función, que es:
longitud :: [a] -> Int ==

Este tipo resultante se lee como sigue: al recibir una lista con elementos de cualquier tipo, siendo todos los elementos de la misma del mismo tipo, (representado por a en la sintaxis de Haskell), la función producirá un entero (tipo Int de Haskell).
En la inferencia de tipos no interviene sobrecarga de operadores, que semanejan con la noción de polimorfismo ad-hoc, sino cuantificaciones universales que conducen a la noción de polimorfismo parametrizado
Inferencia
De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Una inferencia es una evaluación que realiza la mente entre proposiciones. En lógica formal son expresiones bien formadas de un lenguaje formal (EBF) que, al ser relacionadas , permitentrazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, parte de lo verdadero a lo falso: posible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.
Surge así lo que conocemos como postulado[1] o transformada de una expresión original conforme a reglaspreviamente establecidas,[2] que puede enmarcarse en uno o varios contextos referenciales diversos,[3] obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.[4] [5] [6]
Es la operación lógica utilizada en los motores de inferencia de los Sistemas Expertos



















Verbo
De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsquedaPara otros usos de este término, véase Verbo (desambiguación).
El verbo es la parte de la oración o categoría léxica que expresa acción o movimiento, existencia, consecución, condición o estado del sujeto; semánticamente expresa una predicación completa. En la oración, el verbo conjugado funciona como el núcleo sintáctico del predicado (si el verbo está en una forma conjugada ocupará en generalla posición del núcleo del sintagma de tiempo, y si no de un sintagma verbal ordinario).
Los verbos, según su valencia o gramática, pueden ser clasificados en intransitivos, transitivos, ditransitivos, etc. Son transitivos cuando el verbo requiere más de un argumento obligatorio. Los intransitivos tienen un sólo argumento obligatorio
El verbo en las lenguas del mundo[editar · editar código]
Engramática tradicional se concibe el verbo como la palabra principal del predicado en la oración. Como designar y predicar son funciones básicas de toda lengua humana, todas las lenguas poseen verbos. Típicamente muchas lenguas diferencian entre dos grandes clases de categorías léxicas: en la primera estarían básicamente los nombres y en la segunda los verbos, aunque en algunas pocas lenguas estas...