OpenLLM-France/wikimedia huggingface dataset:
# Estación Rocafort

Estación Rocafort es una película española de terror y thriller de 2024, dirigida por Luis Prieto, quien la coescribió junto a Iván Ledesma y Ángel Agudo. Está protagonizada por Natalia Azahara, Javier Gutiérrez y Valèria Sorolla. Se estrenó en los cines españoles el 6 de septiembre de 2024.

## Trama

Laura (Natalia Azahara) es una joven que hace poco ha empezado a trabajar en el metro de Barcelona. Le han asignado la vieja y tranquila estación Rocafort, pero no tardará en descubrir que esta parada alberga una leyenda que la empezará a perseguir: allí ha muerto mucha gente en extrañas circunstancias a lo largo de los años y nadie parece estar interesado en saber la verdad.

## Reparto

* Natalia Azahara como Laura
* Javier Gutiérrez como Román
* Valèria Sorolla como Cris
* Xavi Sáez como Andrés
* Francesc Albiol como Albert
* Aimar Vega como Toni
* Tatín Revenga como Luis
* Celso Bugallo como Elías

## Producción

En octubre de 2022, Javier Gutiérrez anunció que estaba rodando una película de terror titulada Estación Rocafort, la cual estaba siendo dirigida por Luis Prieto. El 30 de noviembre se anunció que la película había estaba grabando algunas escenas en Las Palmas de Gran Canaria después de un mes de rodaje. En diciembre de 2022, se anunció que el rodaje de la película, la cual también estaba protagonizada por Natalia Azahara y Valèria Sorolla, había concluido.

## Lanzamiento y marketing

En julio de 2024, Filmax anunció que la película se estrenaría en cines españoles el 6 de septiembre de 2024. Ese mismo mes, el tráiler fue lanzado.
# Maura Carolina López Riveros

Maura Carolina López Riveros, es una profesora e investigadora chilena especializada en literatura inglesa y norteamericana. Es académica en la Universidad de Playa Ancha, donde ejerce como directora del Departamento de Humanidades en el Campus San Felipe y como coordinadora de la carrera de Pedagogía en Inglés.

## Formación Académica

López Riveros obtuvo el título de profesora de inglés en la Universidad de Playa Ancha en 2005. En 2011, completó un Magíster en Literatura con mención en Literatura Inglesa y Norteamericana en la misma universidad. Desde 2020, es estudiante del programa doctoral en Lenguas Modernas: investigación en lingüística, literatura, cultura y traducción, en la Universidad de Alcalá, España.

## Trayectoria Académica

Desde 2016, se desempeña como coordinadora académica de la carrera de Pedagogía en Inglés en el Campus San Felipe de la Universidad de Playa Ancha. Además, dirige el Departamento de Humanidades en el mismo campus desde 2019. Su docencia se ha centrado en asignaturas de literatura inglesa, multiculturalidad y teatro, entre otras.
Ha dirigido varias tesis de pregrado y participa activamente en actividades de investigación y actualización académica. Entre sus contribuciones destacan análisis literarios sobre temas como la deshumanización, el abuso y la identidad en obras de autores como Edgar Allan Poe, Mary Shelley y Khaled Hosseini.

## Proyectos destacados

Lideró proyectos educativos y comunitarios, como la "Incubadora Universitaria", enfocado en la educación infantil en San Felipe. También participó en programas piloto de enseñanza temprana del inglés.
# Antinaco (Catamarca)

Antinaco es una localidad del Departamento Tinogasta, en el oeste de la Provincia de Catamarca, Argentina.

## Geografía
### Población

Según el Instituto Nacional de Estadística y Censo (Indec), en el censo de 2 010, la localidad cuenta con 105 habitantes, lo que representa un incremento del 7,2 % frente a los 98 habitantes del censo de 2 001.

### Sismicidad

La región de Catamarca se caracteriza por una sismicidad frecuente de baja intensidad y períodos de silencio sísmico para terremotos de magnitud media a grave, los cuales se registran aproximadamente cada 30 años en áreas aleatorias.
Entre los eventos más destacados en la región se incluyen:
* 21 de marzo de 1 892, a la 1:45 UTC-3, con una magnitud de 6,0 en la escala de Richter (terremoto de Recreo de 1 892).
* 4 de febrero de 1 898, a las 12:57 UTC-3, con una magnitud de 6,4 en la escala de Richter (terremoto de Catamarca de 1 898).
* 21 de octubre de 1 966, a las 12:39 UTC-3, con una magnitud de 5,0 en la escala de Richter.
* 3 de noviembre de 1 973, a las 14:17 UTC-3, con una magnitud de 5,8 en la escala de Richter.
* 7 de septiembre de 2 004, a las 8:53 UTC-3, con una magnitud de 6,5 en la escala de Richter (terremoto de Catamarca de 2 004).
# Aeropuerto de Cagliari-Elmas

El Aeropuerto de Cagliari-Elmas (IATA: CAG, OACI: LIEE) es un aeropuerto internacional próximo a Cagliari en la isla de Cerdeña, Italia. El aeropuerto fue recientemente mejorado y la terminal fue ampliada hasta contar con seis fingers para el embarque de pasajeros.
En 2007 el aeropuerto vio pasar a 2.645.845 pasajeros.

## La terminal

En 2003, se abrió una nueva terminal inaugurada por el presidente de la República Italiana, Carlo Azeglio Ciampi. La nueva terminal tiene capacidad para atender a cuatro millones de pasajeros al año. La terminal tiene tres plantas que son:
Nivel 1: "Llegadas" Internacionales y Domésticas
* 4 mostradores de reclamación de equipajes de vuelos nacionales
* 2 mostradores de reclamación de equipajes de vuelos internacionales
* 1 Droguería
* 1 Cafetería/Restaurante
* 1 Banco con cajero automático
* Mostradores de alquiler de coches
* 1 oficina de correos
* Un puesto de primeros auxilios
Nivel dos: Zona de facturación - "salidas"
* 42 mostradores de facturación
* 12 tiendas
* 1 Droguería
* 1 Cafetería/Restaurante
* Oficinas de venta de billetes
* Zona VIP
* Restaurantes
* Puestos de información
Nivel dos: "Puertas"
* 6 fingers
* 2 cafeterías
* algunas tiendas
Nivel tres: "Oficinas"
* Oficinas de So.G.Aer.
* Restaurante
* Centros de negocios con oficinas.

## Aerolíneas y destinos

| Aerolíneas | Destinos |
| AeroItalia | Estacional: Forlì |
| Air France | Estacional: París–Charles de Gaulle |
| Air Malta | Malta |
| AlbaStar | Estacional: Bérgamo |
| Austrian Airlines | Estacional: Viena |
| British Airways | Londres–Gatwick |
| easyJet | Milán–Malpensa Estacional: Basilea/Mulhouse, Ginebra, Londres–Gatwick, Lyon, Nápoles, París–Orly |
| Edelweiss Air | Estacional: Zürich |
| Eurowings | Estacional: Düsseldorf, Stuttgart |
| flydubai | Estacional: Dubai–International |
| ITA Airways | Milán–Linate, Roma–Fiumicino |
| KLM | Estacional: Ámsterdam |
| Lufthansa | Estacional: Frankfurt, Munich |
| Luxair | Estacional: Luxemburgo |
| Marathon Airlines | Chárter estacional: Innsbruck |
| Neos | Estacional: Bolonia, Milán–Malpensa, Verona |
| Ryanair | Bari, Beauvais, Bérgamo, Bolonia, Budapest, Catania, Charleroi, Cuneo, Génova, Cracovia, Londres–Stansted, Malta, Milán–Malpensa, Nápoles, Nuremberg, Palermo, Parma, Pisa, Oporto, Roma–Ciampino, Sevilla, Trieste, Turín, Valencia, Venecia, Verona Estacional: Carcassonne, Dublín, Gothenburg, Hahn, Karlsruhe/Baden-Baden, Madrid, Palma de Mallorca, Perugia, Poznań, Rímini, Viena, Varsovia–Modlin, Weeze |
| SkyAlps | Estacional: Bolzano |
| SmartWings | Estacional: Praga |
| Transavia | Estacional: París–Orly |
| Volotea | Ancona, Barcelona, Milán–Linate, Naples, Roma–Fiumicino, Turín, Verona Estacional: Atenas, Bilbao, Bríndisi, Burdeos, Florencia, Lyon, Marsella, Nantes, Toulouse, Venecia |
| Vueling | Barcelona |

## Estadísticas

Ver fuente y consulta Wikidata.
# Ruta interoceánica Brasil-Bolivia-Chile-Perú

La ruta o corredor interoceánico Brasil-Bolivia-Chile-Perú es una carretera transversal sudamericana, que conecta el puerto atlántico de Santos (Brasil) con los puertos del pacífico de Arica e Iquique (Chile) o Puerto de Ilo (Perú), a lo largo de 3.270 km.Durante su recorrido, cruza las ciudades intermedias brasileñas de São Paulo, Campo Grande, Corumbá y las bolivianas de Puerto Suárez, Santa Cruz de la Sierra, Cochabamba y Oruro.

## Recorrido
### Bolivia

La parte boliviana forma parte de la Red Vial Fundamental y tiene una longitud de 1.561 km. Se extiende desde Puerto Suárez, en Santa Cruz, hasta Tambo Quemado, en Oruro, frontera con Chile. También puede alcanzar Desaguadero, en la frontera con Perú.

## Pasos internacionales

* Paso Fronterizo Puerto Suárez-Corumba: Países que vincula: Bolivia - Departamento de Santa Cruz, Brasil - Estado de Mato Grosso del Sur.
* Paso Fronterizo Desaguadero: Países que vincula: Bolivia - Departamento de La Paz, Perú - Departamento de Puno.
* Paso Fronterizo Chungará-Tambo Quemado: Países que vincula: Bolivia - Departamento de Oruro, Chile - Región de Arica y Parinacota.
* Paso Fronterizo Colchane-Pisiga: Países que vincula: Bolivia - Departamento de Oruro, Chile - Región de Tarapacá.

## Historia

El corredor corresponde a un esfuerzo de integración comercial y conectividad, acordado por los presidentes Lula da Silva (Brasil), Evo Morales (Bolivia) y Michelle Bachelet (Chile) en 2007.
# Opisthostoma simplex

Opisthostoma simplex es una especie de molusco gasterópodo de la familia Diplommatinidae en el orden de los Mesogastropoda.

## Distribución geográfica

Es endémica de Malasia.

## Hábitat

Su hábitat natural son: bosques subtropicales o tropicales húmedos de tierras bajas.

## Estado de conservación

Se encuentra amenazada de extinción por la pérdida de su hábitat natural.
# Francis Jammes (regatista)

Francis Jammes es un deportista francés que compitió en vela en la clase Finn. Ganó una medalla de plata en el Campeonato Europeo de Finn de 1962.

## Palmarés internacional

Finn :
| Campeonato Europeo ||||
| Año | Lugar | Medalla | Clase |
| 1962 | Kiel (RFA) | 02 ! | Finn |
# Palaina xiphidium

Palaina xiphidium es una especie de molusco gasterópodo de la familia Diplommatinidae en el orden de los Mesogastropoda.

## Distribución geográfica

Es endémica de Micronesia.
# Mojave King

Mojave King (Dunedin; 11 de junio de 2002) es un baloncestista neozelandés, con pasaporte estadounidense, que pertenece a la plantilla de los New Zealand Breakers de la NBL Australia. Con 1,96 metros de estatura, juega en la posición de escolta.

## Trayectoria deportiva
### Primeros años

Nacido en Dunedin, en 2007, a los cuatro años, King se mudó con su familia a Mackay (Queensland), cuando su padre aceptó el puesto de entrenador de los Mackay Meteors en la liga semiprofesional de baloncesto de Queensland (QBL) de Australia. La familia se instaló en Brisbane cuatro años después, cuando el padre de King aceptó un puesto para entrenar a los Brisbane Spartans en la Liga de Baloncesto del Sudeste de Australia.
En 2019, King se unió a la NBA Global Academy, un centro de formación en el Instituto Australiano de Deportes en Canberra. En asociación con la academia, jugó para el BA Center of Excellence en la NBL1, una liga semiprofesional australiana. Más tarde esa misma temporada, representó a Queensland South en el Campeonato Australiano Sub-18, donde lideró la competición en anotación con 26,6 puntos por partido. En los Partidos de la Academia de la NBA en Atlanta, Georgia, en julio de 2019, promedió 19,2 puntos por partido, el máximo del torneo.

### Profesional

El 12 de marzo de 2020, a la edad de 17 años, King firmó con los Cairns Taipans de la NBL como parte del programa Next Stars de la liga para desarrollar prospectos del draft de la NBA. Rechazó varias ofertas de universidades de la NCAA. Acabó la temporada promediando 6,2 puntos y 2,4 rebotes por partido.
El 14 de julio de 2021 fue transferido a los Adelaide 36ers para el último año de su contrato con Next Stars. Jugó una temporada, en la que promedió 3,6 puntos y 1,1 rebotes por partido.
El 19 de abril de 2022 firmó con los Southland Sharks para la temporada 2022 de la NBL Nueva Zelanda.
El 7 de septiembre de 2022 firmó un contrato con los NBA G League Ignite. Fue incluido en el Next Up Game inaugural de la G League para la temporada 2022-23. Jugó una temporada, en la que promedió 8,1 puntos y 4,7 rebotes por partido.
Fue elegido en la cuadragésimo séptima posición del Draft de la NBA de 2023 por Los Angeles Lakers, pero sus derechos de draft se traspasaron inmediatamente a los Indiana Pacers. Se convirtió en el tercer jugador nacido en Nueva Zelanda en ser elegido en el draft de la NBA, después de Sean Marks y Steven Adams. En otbubre se unió a la plantilla de los Indiana Mad Ants, el filial de los Pacers en la G League.
El 18 de abril de 2024 firmó con los New Zealand Breakers para la temporada 2024-25 de la NBL australiana.
# Josh Porebski

Josh Porebski (Wellington) es un deportista neozelandés que compitió en vela en la clase 49er. Ganó una medalla de plata en el Campeonato Mundial de 49er de 2013.

## Palmarés internacional

49er
Campeonato Mundial
Año
Lugar
Medalla
Clase
2013
Marsella (Francia)
02 !
49er :
# Wim Maarse

Wim Maarse es un deportista neerlandés que compitió en vela en la clase Finn. Ganó una medalla de bronce en el Campeonato Europeo de Finn de 1964.

## Palmarés internacional

Finn :
| Campeonato Europeo ||||
| Año | Lugar | Medalla | Clase |
| 1964 | Copenhague (Dinamarca) | 03 ! | Finn |
# Cayos de Morant

Los Cayos de Morant (en inglés: Morant Cays) son un grupo de islas a 51 kilómetros al sureste de Punta Morant en la isla principal de Jamaica. Se trata de uno de los dos grandes grupos de islas pertenecientes a este país, (los otros son los Cayos de Pedro). Constan de cuatro pequeños islotes agrupados estrechamente a lo largo del borde sureste del Banco de Morant formando un extenso banco de coral en forma de media luna de más de 7 km de largo, pasando de los 1000 m. El área del Banco de Morant es de aproximadamente 100 km². Cayos Morant son bajos, en su mayoría deshabitados, estacionalmente visitados por pescadores, y frente a arrecifes sobre los que el mar rompe constantemente. Las islas tienen escasa vegetación y son criaderos de aves marinas y constituyen zona de anidación de tortugas marinas.
Los cayos fueron anexadas en 1862 por el Reino Unido e integrados a Jamaica en 1882.
Huevos de aves marinas y guano se recogen periódicamente en estos cayos.

## Isletas

* Cayo Noreste (North-East Cay): a veces se divide geográficamente en 3 partes diferenciadas, Hay un campamento de pescadores, establecido por el Departamento de Agricultura de Jamaica, con varias cabañas y un tanque de agua en el lado sur del cayo. Hay un faro en Breezy Point, el punto más oriental del cayo y de Jamaica.
* Cayo Sureste (South-East Cay) se encuentra a 1,9 kilómetros del Cayo Noreste, su forma puede variar de acuerdo a la época del año debido a la acción del mar sobre la arena.
* Cayo Suroeste (South-West Cay) se encuentra a 1,6 km al suroeste de Cayo Sureste. Una cornisa rocosa se extiende desde el cayo y se utiliza como un muelle.
# Campeonato Mundial de Esquí Nórdico de 2027

El LVII Campeonato Mundial de Esquí Nórdico se celebrará en la localidad de Falun (Suecia) en el año 2027 bajo la organización de la Federación Internacional de Esquí (FIS) y la Federación Sueca de Esquí.
# Crotophaga ani

El garrapatero aní (Crotophaga ani), también conocido como garrapatero piquiliso, chulie, güisa (en Colombia), anó chico, judío, ch'ikbu'ul (en Yucatán), matacaballos de pico liso (Chile), maúri (en Bolivia), pirincho negro chico, tijuíl pico lisoy vacamuchacho (en la Amazonía peruana) y tijo (en Costa Rica) es una especie de ave cuculiforme de la familia Cuculidae propia de América donde se distribuye desde Florida y la Península de Yucatán, a través de las Antillas hasta Trinidad y Tobago, y desde Costa Rica hasta el norte de Argentina, pasando por Brasil, Colombia, Bolivia, Ecuador, Venezuela Paraguay con el nombre de anó y el Perú. Recientemente llegó al sur de Chile. No se conocen subespecies.

## Descripción

Mide unos 33 cm y pesa alrededor de 85 g. Los adultos son de color negro uniforme, a excepción de un ligero escamado claro en el cuello, la parte superior del pecho y la espalda. Su pico es ancho y curvo, y a diferencia del resto de miembros de su género no presenta surcos ni protuberancias. Su cola es larga y el iris de sus ojos marrón.

## Comportamiento

El garrapatero aní es una especie gregaria. Aunque forman parejas, se encuentran siempre en grupos ruidosos ocupando un territorio colectivo en campos abiertos o semi-abiertos y áreas de cultivo.

### Alimentación

Se alimenta generalmente en el suelo. Su dieta incluye termitas, insectos grandes como saltamontes, arañas, ciempiés, pequeñas serpientes, lagartijas y ranas. Suelen comer frutas y semillas cuando los insectos escasean. Ocasionalmente se alimentan de garrapatas y otros parásitos de animales de pastoreo. En algunos lugares se los puede ver siguiendo los tractores que aran el campo.

### Reproducción

La cama construido de forma comunal por varias parejas, es grande y profundo con forma de cuenco, hecho de hojas. Se ubica a entre 2 a 6 metros del suelo en los árboles. Los nidos pueden ser ocupados por 6 a 10 aves. Las hembras ponen su huevos azulverdosos en el nido y comparten la incubación y alimentación de los polluelos. Cada hembra puede poner de 4 a 7 huevos, encontrándose nidos con más de 29 huevos. La incubación dura de 13 a 15 días.
# Mina Cajavilca

Cajavilca es una mina de plata localizada en el distrito de Acochaca, provincia de Asunción, región Áncash, en los Andes peruanos. Viene siendo explotada desde la época inca.

## Historia

Los primeros registros escritos de la mina datan de 1575. La veta argentífera de Xacxavillca o Cajavilca fue dada en concesión a sociedades españolas y portuguesas de la ciudad de Huánuco. Para su explotación se fundó el ingenio minero y agrícola de "Nuestra Señora de la Limpia Concepción de Tuma"; instalada por Francisco Girón de Cabrera entre 1600 y 1610.

## Bibliografía

* Raimondi, Antonio (1873). Ancachs y sus riquezas minerales.
# Masato Tokida

Masato Tokida (常田 克人, Tokida Masato, Saitama, 27 de noviembre de 1997) es un futbolista japonés que juega como defensa en el Matsumoto Yamaga F. C. de la J3 League.

## Trayectoria
### Clubes

| Club | País | Año |
| Vegalta Sendai | Japón Japón | 2016-2020 |
| Oita Trinita (cedido) | Japón Japón | 2017 |
| Matsumoto Yamaga F. C. (cedido) | Japón Japón | 2020 |
| Matsumoto Yamaga F. C. | Japón Japón | 2021- |
# Marc Hornschuh

Marc Hornschuh (Dortmund, Alemania, 2 de marzo de 1991) es un futbolista alemán que juega como defensa en las filas del F. C. Zürich de la Superliga de Suiza.
El 23 de marzo de 2015, el capitán del Borussia Dortmund II, Hornschuh, acordó unirse al FSV Frankfurt de la segunda división en una transferencia gratuita al final de la temporada, después de 15 años con el Borussia Dortmund, y firmó un contrato de dos años hasta el 30 de junio de 2017.
El 31 de agosto de 2015, Hornschuh firmó un contrato de un año con el FC St. Pauli. En marzo de 2016 optó por extender su contrato hasta 2020. En su tiempo con el club, le tocó luchar contra una serie de lesiones.
# Elecciones generales de Paraguay de 1978

Las elecciones generales de Paraguay de 1978 fueron un evento electoral nacional que se realizó en dicho país. Según su organización política, en las elecciones nacionales se eligen presidente, vicepresidente, senadores, diputados y los gobernadores de los departamentos.
# Coro Coro Comic

Coro Coro Comic (月刊コロコロコミック, Gekkan Koro Koro Komikku) es una revista de manga kodomo publicada por la editorial Shōgakukan. Coro Coro está dirigida a niños de escuela primaria y publica mangas basados en franquicias de juguetes, juegos de cartas coleccionables o videojuegos como Pokémon, Super Mario, Hoshi no Kirby, Tamagotchi, Splatoon, BeyBlade y Duel Master. El nombre viene de korokoro, que representa algo esférico, gordo o pequeño. Estos mangas son luego recopilados en tankōbon bajo el sello de Tentomushi CoroCoro Comics o Tentomushi CoroCoro Dragon Comics.
Tiene dos revistas hermanas, Bessatsu CoroCoro Comic y CoroCoro Ichiban!. Ambas son bimensuales y recopilan historias cortas basadas en mangas de la revista principal como los mangas de Pokémon Mundo Misterioso y Pokémon Emerald Battle Frontier.

## Historia

La revista se lanzó en el 15 de mayo de 1977 con el objetivo de publicar mangas infantiles del estilo de Doraemon. El estilo de dibujo y guion de estos mangas es siempre cómico, alegre, explosivo y muy efusivo y trata sobre aventuras y la vida cotidiana.

## Franquicias

Coro Coro acostumbra a regalar juguetes y videojuegos relacionados con los mangas que publica. El juego de Game Boy Pokémon Blue fue vendido a través de años de trabajo y recreaciones. También se han distribuido cartas únicas del juego de cartas coleccionables de Pokémon, así como también de Duel Master. Las noticias más recientes que abarcan todos los aspectos del mundo de Pokémon ven la luz primeramente en esta revista.

## Mangas publicados en CoroCoro

* Fujiko F. Fujio: Doraemon y Shin Obake no Q-Taro.
* Shigenobu Matsumoto: Duel Masters.
* Ryo Takamisaki: Rockman.exe (Mega Man Battle Network).
* Gōshō Aoyama: Detective Conan Special Edition
* Satoshi Tajiri y Tsunekazu Ishihara: Pocket Monsters.
* Takao Aoki: Bakuten Shoot: Beyblade y Ape Scape!.
* Manabu Kashimoto: Crocket!.
* Michiro Ueyama: ZOIDS: Chaotic Century!.
* Eiji Inuki: Battle B-Daman!.
* Yukio Sawada: Super Mario-kun!.
* Dansu de jump! nā daiboukēn (Manga inspirado en Crash Bandicoot 2: Cortex Strikes Back) (1997).
* Shintaro Mugiwara: Dorabase.
* Yuji Shiozaki: ZOIDS: Planet Zi.
* Yohei Sakkai: Kodai Ōja Kyōryū King.
* Ten'ya Yabuno: Inazuma Eleven.
* Noriyuki Konishi: Yo-Kai Watch.
* Datos: Q715274
* Multimedia: Colo-Colo Comic / Q715274
# Inferencia de tipos

La inferencia de tipos 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 el compilador o intérprete del lenguaje, a partir de las definiciones previas y del uso de las variables en el cuerpo de las funciones.

## Ejemplo

Una definición de la función longitud de lista en Haskell se puede definir de la siguiente forma:
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 compilador puede deducir el tipo de la función, que es:
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 se manejan con la noción de polimorfismo ad hoc, sino cuantificaciones universales que conducen a la noción de polimorfismo parametrizado.

## Algoritmo Hindley-Milner de inferencia de tipos

El algoritmo comúnmente utilizado para realizar inferencia de tipos es el que normalmente se denomina algoritmo de Hindley-Milner o algoritmo de Damas-Milner. Tiene sus orígenes en el algoritmo de tipos para el cálculo Lambda tipificado, el cual fue propuesto por Haskell B. Curry y Robert Feys en 1958.
En 1969 Roger Hindley extendió ese trabajo y demostró que ese algoritmo siempre deduce el tipo más general posible.
En 1978 Robin Milner, de forma independiente al trabajo de Hindley propuso un algoritmo equivalente para el lenguaje de programación ML.
En 1985 Luis Damas, estudiante de Milner, finalmente demostró que el algoritmo de Milner es completo y lo extendió para dar soporte a la noción de referencia polimórfica.