Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Introduction to Dependent Types with Idris
Af: Boro Sitnikovski Engelsk Paperback
SPAR
kr 49
Introduction to Dependent Types with Idris
Af: Boro Sitnikovski Engelsk Paperback

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.

The first part of the book serves as an introduction to the language''s underlying theories. It starts by reviewing formal systems and mathematical logical systems as foundational building blocks, then gradually builds up to dependent types. Next, you''ll learn type theory for dependent types. Following this, you''ll explore the Idris programming language and conclude by exploring the depths of formal systems and type checkers by implementing them.

Introduction to Dependent Types with Idris will walk you through simple examples through more advanced techniques, stepping up the difficulty as you gain more knowledge. Every chapter includes a set of exercises based on what it covered to further cement your learning. No specialized knowledge of mathematics is expected beyond the basics, so it is perfect for novices.

What You Will Learn

    Understand Lambda calculus and dependent types
  • Gain insight into functional programming
  • Write mathematical proofs with Idris

Who This Book Is For

Programmers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.

Eksklusiv medlemspris 288 kr
Medlemspris 293 kr
Eksklusiv medlemspris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til eksklusiv medlemspris eller medlemspris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
23 - 25 hverdage
10 kr
Lavt pakkegebyr
Normalpris 337 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 49 kr
Se vores konkurrenters priser her
God 15.835 anmeldelser på

Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.

The first part of the book serves as an introduction to the language''s underlying theories. It starts by reviewing formal systems and mathematical logical systems as foundational building blocks, then gradually builds up to dependent types. Next, you''ll learn type theory for dependent types. Following this, you''ll explore the Idris programming language and conclude by exploring the depths of formal systems and type checkers by implementing them.

Introduction to Dependent Types with Idris will walk you through simple examples through more advanced techniques, stepping up the difficulty as you gain more knowledge. Every chapter includes a set of exercises based on what it covered to further cement your learning. No specialized knowledge of mathematics is expected beyond the basics, so it is perfect for novices.

What You Will Learn

    Understand Lambda calculus and dependent types
  • Gain insight into functional programming
  • Write mathematical proofs with Idris

Who This Book Is For

Programmers, mathematicians, academics, and anyone else interested learning dependent types and lambda calculus.

Produktdetaljer
Sprog: Engelsk
Sider: 157
ISBN-13: 9781484292587
Indbinding: Paperback
Udgave:
ISBN-10: 1484292588
Kategori: Softwareudvikling
Udg. Dato: 18 mar 2023
Længde: 0mm
Bredde: 235mm
Højde: 155mm
Oplagsdato: 18 mar 2023
Forfatter(e): Boro Sitnikovski
Forfatter(e) Boro Sitnikovski


Kategori Softwareudvikling


Sprog Engelsk


Indbinding Paperback


Sider 157


Udgave


Længde 0mm


Bredde 235mm


Højde 155mm

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Eksklusiv medlemspris kr 183

kr 270
Normalpris
kr 192
Medlemspris
SPAR
kr 87
BOG (HÆFTET)
Eksklusiv medlemspris kr 189

kr 280
Normalpris
kr 198
Medlemspris
SPAR
kr 91
BOG (INDBUNDET)
Eksklusiv medlemspris kr 220

kr 320
Normalpris
kr 230
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (INDBUNDET)
Eksklusiv medlemspris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (HÆFTET)
Eksklusiv medlemspris kr 154

kr 229
Normalpris
kr 162
Medlemspris
SPAR
kr 75
BOG (PAPERBACK)
Eksklusiv medlemspris kr 166

kr 201
Normalpris
kr 170
Medlemspris
SPAR
kr 35
BOG (HÆFTET)
Eksklusiv medlemspris kr 154

kr 229
Normalpris
kr 162
Medlemspris
SPAR
kr 75
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 300
Normalpris
kr 209
Medlemspris
SPAR
kr 101
BOG (INDBUNDET)
Eksklusiv medlemspris kr 239

kr 329
Normalpris
kr 248
Medlemspris
SPAR
kr 90
BOG (INDBUNDET)
Eksklusiv medlemspris kr 132

kr 149
Normalpris
kr 134
Medlemspris
SPAR
kr 17
BOG (INDBUNDET)
Eksklusiv medlemspris kr 208

kr 299
Normalpris
kr 217
Medlemspris
SPAR
kr 91
BOG (HARDBACK)
Eksklusiv medlemspris kr 25

kr 227
Normalpris
kr 45
Medlemspris
SPAR
kr 202
BOG (HÆFTET)
Eksklusiv medlemspris kr 149

kr 249
Normalpris
kr 159
Medlemspris
SPAR
kr 100
BOG (HÆFTET)
Eksklusiv medlemspris kr 152

kr 199
Normalpris
kr 157
Medlemspris
SPAR
kr 47
BOG (INDBUNDET)
Eksklusiv medlemspris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (INDBUNDET)
Eksklusiv medlemspris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 300
Normalpris
kr 209
Medlemspris
SPAR
kr 101
Vi anbefaler også
BOG (PAPERBACK)
Eksklusiv medlemspris kr 288

kr 337
Normalpris
kr 293
Medlemspris
SPAR
kr 49
BOG (PAPERBACK)
Eksklusiv medlemspris kr 341

kr 371
Normalpris
kr 344
Medlemspris
SPAR
kr 30
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 485

kr 619
Normalpris
kr 498
Medlemspris
SPAR
kr 134
BOG (PAPERBACK)
Eksklusiv medlemspris kr 446

kr 563
Normalpris
kr 458
Medlemspris
SPAR
kr 117
BOG (PAPERBACK)
Eksklusiv medlemspris kr 485

kr 619
Normalpris
kr 498
Medlemspris
SPAR
kr 134
BOG (HARDBACK)
Eksklusiv medlemspris kr 604

kr 709
Normalpris
kr 615
Medlemspris
SPAR
kr 105
BOG (HARDBACK)
Eksklusiv medlemspris kr 971

kr 1.183
Normalpris
kr 992
Medlemspris
SPAR
kr 212
BOG (PAPERBACK)
Eksklusiv medlemspris kr 380

kr 450
Normalpris
kr 387
Medlemspris
SPAR
kr 70
BOG (PAPERBACK)
Eksklusiv medlemspris kr 287

kr 416
Normalpris
kr 300
Medlemspris
SPAR
kr 129
BOG (PAPERBACK)
Eksklusiv medlemspris kr 328

kr 354
Normalpris
kr 331
Medlemspris
SPAR
kr 26
BOG (PAPERBACK)
Eksklusiv medlemspris kr 204

kr 269
Normalpris
kr 211
Medlemspris
SPAR
kr 65
BOG (PAPERBACK)
Eksklusiv medlemspris kr 255

kr 360
Normalpris
kr 266
Medlemspris
SPAR
kr 105
BOG (PAPERBACK)
Eksklusiv medlemspris kr 350

kr 383
Normalpris
kr 353
Medlemspris
SPAR
kr 33
BOG (HARDBACK)
Eksklusiv medlemspris kr 430

kr 518
Normalpris
kr 439
Medlemspris
SPAR
kr 88
BOG (PAPERBACK)
Eksklusiv medlemspris kr 446

kr 506
Normalpris
kr 452
Medlemspris
SPAR
kr 60
BOG (PAPERBACK)
Eksklusiv medlemspris kr 338

kr 506
Normalpris
kr 355
Medlemspris
SPAR
kr 168
BOG (HARDBACK)
Eksklusiv medlemspris kr 498

kr 574
Normalpris
kr 506
Medlemspris
SPAR
kr 76
BOG (PAPERBACK)
Eksklusiv medlemspris kr 357

kr 540
Normalpris
kr 375
Medlemspris
SPAR
kr 183
BOG (PAPERBACK)
Eksklusiv medlemspris kr 485

kr 619
Normalpris
kr 498
Medlemspris
SPAR
kr 134
System.Threading.Tasks.Task`1[System.Threading.Tasks.VoidTaskResult];