Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional

by Miguel Farmer
Save 12% Save 12%
Current price ₹1,812.00
Original price ₹2,060.00
Original price ₹2,060.00
Original price ₹2,060.00
(-12%)
₹1,812.00
Current price ₹1,812.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9798273165557
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Independently Published
  • Publisher Imprint: Independently Published
  • Publication Date:
  • Pages: 290
  • Original Price: GBP 15.84
  • Language: Spanish
  • Edition: N/A
  • Item Weight: 391 grams
  • BISAC Subject(s): Programming / Algorithms

Cuando tu c�digo prueba que est� bien.

Aprende Idris desde cero y descubre c�mo los tipos dependientes transforman la programaci�n funcional en precisi�n matem�tica.

Imagina un lenguaje donde el compilador no solo detecta errores... los demuestra imposibles.
Esa es la promesa de Idris, un lenguaje funcional moderno que combina tipos dependientes, pureza y expresividad para crear software m�s seguro, l�gico y confiable.
Idris para principiantes te gu�a paso a paso a trav�s de los fundamentos de la programaci�n funcional avanzada, ense��ndote c�mo usar los tipos para garantizar la correcci�n de tus programas antes de ejecutarlos.

Empiezas escribiendo simples funciones.
Luego, descubres c�mo los tipos pueden describir comportamientos, verificar condiciones y probar propiedades del c�digo dentro del mismo lenguaje.
Cada ejemplo ampl�a tu comprensi�n: el tipo no solo protege tu c�digo... lo define.
Terminas el libro pensando diferente - como un ingeniero que ya no solo programa, sino razona formalmente sobre su software.

Key Benefits

⚙️ Aprende Idris desde cero, con ejemplos claros y progresivos.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us