Idris
Idris
Acerca de IdrisPracticar

¿Quieres aprender y dominar Idris?

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

Únete al track de Idris Explora los ejercicios

Acerca de 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 Isograma hasta Bisiesto.

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

Isograma

Isograma

Determina si una palabra o frase es un isograma.

Colores de resistencia

Colores de resistencia

Convertir el color de la banda de una resistencia en su representación numérica.

Bisiesto

Bisiesto

Determina si un año dado es bisiesto.

Ver todos los ejercicios de Idris en Exercism

Características principales de Idris

Idris

Con tipos dependientes

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

Puramente funcional

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

Clases de tipos

Categorizar los tipos en clases permite la 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 número reducido de funcionalidades de propósito general.

Innovador

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

Recibe mentoría al estilo de Idris

Cada lenguaje tiene su propia forma de hacer las cosas. Idris no es la 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 lograr 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.

Aprende más sobre la mentoría

Ejercicios de Idris creados por la comunidad

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

Ver todos los ejercicios de Idris
Idris

Empieza con el track de Idris

Lo mejor de todo: es 100% gratis para todos.

Únete al track de Idris