Ir al contenido principal

Nuevos lenguajes de programación funcional (similares a Haskell)

Imagen
De Dr. Lang

Los lenguajes de programación funcional hacen que el programador habitual a usar lenguajes como Java y/o C (con paradigma orientado a objetos y estructurado, respectivamente) se den topes en la pared.

Y es que con la programación funcional el programador solo escribe lo que quiere obtener, pero no el cómo hacerlo.

El paradigma de programación funcional es similar a las matemáticas. Uso de expresiones que resuelven algo, pero no te dicen el paso a paso.

Se centra en:

  • Funciones puras. 
  • Inmutabilidad de datos.
  • Composición de funciones para construir software predecible, evitando efectos secundarios y estados compartidos.

Uno de los lenguajes que más refleja este paradigma es Haskell. Ya hemos hablado de el en varias ocasiones:

https://alquimistadecodigo.blogspot.com/2021/03/haskell-for-todos.html
https://alquimistadecodigo.blogspot.com/2021/03/haskell-for-todos-2.html
https://alquimistadecodigo.blogspot.com/2021/05/haskell-fot-todos-3.html
https://alquimistadecodigo.blogspot.com/2022/01/haskell-for-todos-4.html
https://alquimistadecodigo.blogspot.com/2022/04/haskell-for-todos-5.html
https://alquimistadecodigo.blogspot.com/2024/07/haskell-for-todos-6.html
https://alquimistadecodigo.blogspot.com/2025/01/frameworks-web-para-haskell.html
https://alquimistadecodigo.blogspot.com/2024/04/haskell-como-instalar-en-windows-video.html

En esta ocasión veremos nuevos lenguajes similares a Haskell.

Lenguajes similares a Haskell

Koka

El primero de ellos es Koka.

... un lenguaje de estilo funcional fuertemente tipado con tipos de efectos y controladores.
fun add(x : int, y : int) : int {
  x + y
}

fun main() {
  println(add(3, 4)) // Resultado: 7
}

A primera vista nos recuerda a Python y/o Go.

Idris

El segundo es Idris.

... un lenguaje de programación diseñado para fomentar el desarrollo basado en tipos.
add : Int -> Int -> Int
add x y = x + y

main : IO ()
main = print (add 3 4) -- Resultado: 7

Idris es bastante similar a Haskell.

Agda

Y por último tenemos a Agda.

... un lenguaje de programación de tipos dependientes.
open import Agda.Builtin.Nat
open import Agda.Builtin.IO
open import Agda.Builtin.Unit

add : Nat → Nat → Nat
add x y = x + y

main : IO Unit
main = putStrLn (show (add 3 4)) -- Resultado: 7

Agda es similar a Haskell, con algunas cosas extra.

Veamos una tablita que nos muestra las principales características de cada uno.

Lenguaje Características principales Paradigma Enfoque Uso destacado
Koka - Lenguaje funcional fuertemente tipado
- Sistema de tipos con efectos
- Handlers de efectos algebraicos
- Compilación directa a C con referencia contada (Perceus)
- Optimización para reutilización en estilo funcional 		Funcional Investigación en sistemas de efectos y semántica formal Modelado de efectos, control avanzado (async, excepciones, iteradores)
Idris - Lenguaje con tipos dependientes
- Tipos como primera clase (se pasan y retornan en funciones)
- Desarrollo guiado por tipos (Type-Driven Development)
- Permite expresar relaciones entre valores
- Verificación formal de propiedades de programas 		Funcional, dependiente Construcción de programas a partir de especificaciones tipadas Verificación de programas, prototipado con garantías formales
Agda - Lenguaje con tipos dependientes
- Usado como asistente de pruebas
- Soporta programación literaria
- Sistema de módulos avanzado
- Herramientas para búsqueda automática de pruebas y verificación 		Funcional, dependiente Pruebas formales y demostraciones matemáticas Asistente de pruebas, investigación en teoría de tipos

Quien programe en lenguajes como Java y/o C u otro lenguaje que no use el paradigma funcional se puede ver ofuscado al saber que no existe la mutabilidad en las variables, el control de flujo del programa cambia drásticamente, no existen los ciclos como el for o while, el concepto de función se puede ver como algo diferente a "lo acostumbrado" y tantas cosas más.

Este es un primer vistazo a estos lenguajes de programación similares a Haskell.

Enlaces:

https://koka-lang.github.io/koka/doc/index.html
https://www.idris-lang.org/
https://agda.readthedocs.io/en/v2.8.0/
https://www.reddit.com/r/functionalprogramming/comments/16ud127/what_even_is_functional_programming_and_why_do_we/?tl=es-es
https://onlyhaskellforyou.blogspot.com/2025/09/hola-mundo-en-haskell.html
Etiquetas:

Comentarios

Publicar un comentario

Entradas populares de este blog

Rocket: un framework web para Rust

De Beta
Rocket Framework es: Un framework web escrito en Rust.   Inspirado en Rails, Flask, Bottle y Yesod.  Admite el manejo de solicitudes HTTP, Web Sockets, JSON, plantillas y más. Creando un proyecto con Rocket Framework En primer lugar, verificamos la instalación de Rust en nuestras máquinas: rustc - - version Continuamos con la configuración de Rust nightly como nuestra cadena de herramientas predeterminada ejecutando el comando: rustup default nightly Si lo prefieres, una vez que configuremos un directorio de proyecto en la siguiente sección, puedes usar anulaciones por directorio para usar la versión nocturna solo para tu proyecto Rocket ejecutando el siguiente comando en el directorio: rustup override set nightly Creamos nuevo proyecto `` hola-rocket `` y nos ubicamos en el directorio creado: cargo new hola - rocket - - bin cd hola - rocket Con Cargo, agregamos la dependencia de rocket: cargo add rocket Abrimos el archivo `` Cargo.toml `` Ca...
Publicar un comentario
Leer más

Odin language: el lenguaje de programación orientado a datos para un desarrollo de software sensato

De Dr. Lang
En esta serie sobre lenguajes de programación hablamos de Odin , un lenguaje orientado a datos. Un nuevo lenguaje de programación que nos podrá recordar a lenguajes como C++, Python, Golang o hasta Rust. Instalación (Windows): 1 2 3 4 $ git clone https://github.com/odin-lang/Odin $ cd Odin $ git pull $ build.bat release Debemos asegurarnos de crear la variable de entorno: Nombre: ODIN_HOME Valor: C:\Users\HP\Documents\pruebasOdin\Odin Ejemplo 1. Como primer programa tendremos al clásico "Hola, mundo". holamundo.odin package holamundo import " core:fmt " main : : proc ( ) { fmt . println ( " ¡Hola, mundo desde Odin! " ) } Construimos: $ odin build holamundo . odin - file Ejecutamos: $ holamundo .exe Recordar que si usamos Visual Studio Code podemos instalar el plugin de Odin Language: https://marketplace.visualstudio.com/items?itemName=DanielGavin.ols Ejemplo 2. Programa que muestre las variables que pod...
Publicar un comentario
Leer más

Programación Windows Batch (CMD) parte 3

De Dr. Lang
Crear ciclos para efectuar operaciones tediosas nos ahorrará tiempo para realizar otras tareas. En está ocasión veremos ciclos con FOR . ¿Cuál es la síntaxis de bucle FOR en Windows Batch? Si está dentro de un archivo *.bat : FOR %%variable IN (seq) DO operaciones Si lo ejecutamos en una terminal: FOR %variable IN (seq) DO operaciones Ejemplo 1 . Recorrer una secuencia de números del 0 al 5: recorrer.bat @ echo off FOR %%i in ( 0 1 2 3 4 5 ) DO echo Hola no. %%i pause Nos imprimirá en pantalla: Hola no. 0 Hola no. 1 Hola no. 2 Hola no. 3 Hola no. 4 Hola no. 5 ¿Puedo usar contadores? Si, se pueden usar. Ejemplo 2 . Uso de contadores: contador.bat @ echo off set numeros = 1 2 3 4 5 6 7 8 9 10 set cont = 0 for %%a in ( %numeros% ) do ( echo Hola no. %%a :: Contador set /a cont+ = 1 ) echo Total: %cont% Este código nos imprimirá, además de los mensajes Hola no. 0 ..., el total de valores conta...
3 comentarios
Leer más