Idris
Idris
Acerca de IdrisPracticar

¿Quieres aprender y dominar Idris?

Únete a la ruta de Idris de Exercism para acceder a 58 ejercicios con análisis automático de tu código y mentoría personal, todo 100 % gratis.

Únete a la ruta de Idris Explora los ejercicios

Sobre Idris

module EvenOdd

data Even : Nat -> Type where
  EZ : Even Z
  ES : Even n -> Even (S (S n))

ee : Even n -> Even m -> Even (n + m)
ee EZ m     = m
ee (ES n) m = ES (ee n m)

58 ejercicios de programación de Idris en Exercism. Desde Satélite hasta Terna pitagórica.

Mejora tu nivel de programación con ejercicios divertidos y gratificantes que ponen a prueba tu comprensión de los conceptos con Exercism.

Satélite

Satélite

Reconstruye árboles binarios a partir de recorridos en preorden y en inorden.

Codificación por longitud de racha

Codificación por longitud de racha

Implementa la codificación y la decodificación por longitud de racha.

Terna pitagórica

Terna pitagórica

Dado un número entero N, encuentra todas las ternas pitagóricas para las que a + b + c = N.

Ver todos los ejercicios de Idris en Exercism

Características clave de Idris

Idris

Tipado dependiente

¡La seguridad es lo primero! Sólidas garantías sobre la corrección de los programas en tiempo de compilación.

Puramente funcional

Inspirado en el cálculo lambda, los scopes y los bucles se expresan definiendo y llamando a funciones.

Clases de tipos

Categorizar los tipos en clases proporciona sobrecarga con seguridad de tipos.

Multihilo

Que los datos sean inmutables permite una concurrencia más segura y más fácil de razonar.

Compacto

Idris ofrece un pequeño número de funcionalidades de propósito general.

Innovador

Idris es un banco de pruebas de investigación en desarrollo activo

Recibe mentoría al estilo Idris

Cada lenguaje tiene su propia forma de hacer las cosas. Idris no es una excepción. Nuestros mentores te ayudarán a aprender a pensar como un desarrollador de Idris y a escribir código idiomático en Idris. Cuando hayas resuelto un ejercicio, envíalo a nuestro equipo de voluntarios y te darán pistas, ideas y comentarios sobre cómo hacer que se parezca más a lo que normalmente verías en Idris. Te ayudarán a descubrir esas cosas que no sabes que no sabes.

Más información sobre la mentoría

Ejercicios de Idris creados por la comunidad

El track Idris en Exercism tiene 58 ejercicios para ayudarte a escribir mejor código.

Ver todos los ejercicios de Idris
Idris

Empieza con el track Idris

Y lo mejor de todo: es 100% gratis para todo el mundo.

Únete al track Idris