kodikra

Home

Search this blog

access-behaviour

algebraic-data-types

anonymous-functions

Arm64-assembly Guide

array-destructuring, object-destructuring

array-transformations

arrays, for-loops, foreach-loops

arrays, vectors

arrow-functions, array-analysis

attributes, flag-enums

auto, smart-pointers

Awk fundamentals

Ballerina Guide

behaviours, use

bit-manipulation

bitwise-operations

Cairo control-flow

Cairo dictionaries

Cairo enums, match-basics

Cairo error-handling

Cairo functions, mutability, integers

Cairo method-syntax, traits

Cairo operator-overloading

Cairo ownership, structs, references-and-snapshots

Cairo smart-pointers

Cairo type-conversion

case-expressions

chars, string-builder

Clojure booleans

Clojure closures, atoms

Clojure floating-point-numbers

Clojure numbers, conditionals

Clojure sequential-destructuring

Clojure strings

Clojure vectors

closures, atoms

Coffeescript Guide

comments, expressions, cons, symbols

Common-lisp arrays, vectors

Common-lisp characters

Common-lisp comments, expressions, cons, symbols

Common-lisp conditionals, truthy-and-falsy

Common-lisp date-time, multiple-values

Common-lisp equality

Common-lisp format-basics

Common-lisp functions

Common-lisp Guide

Common-lisp hash-tables

Common-lisp integers, floating-point-numbers, arithmetic

Common-lisp lambda-list, keyword-parameters, optional-parameters, rest-parameters

Common-lisp lists

Common-lisp mapping, filtering

Common-lisp reducing

Common-lisp strings

compare, conditionals

comparison, conditionals

comparisons, if-statements

conditionals-ternary, template-strings

conditionals, truthy-and-falsy

constants, defensive-copying, readonly-collections

constants, orders

Cpp auto, smart-pointers

Cpp comparisons, if-statements

Cpp strings, includes

Cpp switch, enums

Cpp vector-arrays

Crystal classes

Crystal conditionals

Crystal getters-setters

Crystal number-types

Crystal numbers

Crystal string-methods

Crystal strings

Crystal while-loops, return

Csharp arrays, for-loops, foreach-loops

Csharp attributes, flag-enums

Csharp booleans

Csharp chars, string-builder

Csharp constants, defensive-copying, readonly-collections

Csharp constructors

Csharp datetimes

Csharp dictionaries

Csharp do-while-loops, floating-point-numbers, while-loops

Csharp equality, sets

Csharp exceptions

Csharp extension-methods

Csharp generic-types, lists

Csharp if-statements, numbers

Csharp inheritance

Csharp integral-numbers

Csharp interfaces, ordering

Csharp method-overloading, named-arguments, optional-parameters

Csharp namespaces

Csharp nested-types

Csharp nullability

Csharp object-initializers

Csharp operator-overloading

Csharp overflow

Csharp parameters

Csharp properties

Csharp randomness

Csharp regular-expressions

Csharp resource-cleanup

Csharp resource-lifetime

Csharp string-formatting, verbatim-strings

Csharp switch-statements

Csharp time, timezone

Csharp user-defined-exceptions, exception-filtering

date-time, multiple-values

discriminated-unions

do-while-loops, floating-point-numbers, while-loops

Elixir access-behaviour

Elixir alias, import

Elixir behaviours, use

Elixir binaries

Elixir bitstrings

Elixir dates-and-time

Elixir erlang-libraries, randomness

Elixir errors, try-rescue

Elixir exceptions

Elixir genserver

Elixir keyword-lists

Elixir links, tasks

Elixir list-comprehensions

Elixir processes, pids

Elixir protocols

Elixir regular-expressions

Elixir tail-call-recursion

Elixir try-rescue-else-after, dynamic-dispatch

Elm bitwise-operations

Elm custom-types

Elm opaque-types

Elm partial-application-composition

Elm pattern-matching

Elm phantom-types

Elm tail-call-recursion

Elm web-applications-sandbox

Emacs-lisp Guide

enums, match-basics

erlang-libraries, randomness

errors, inheritance

errors, try-rescue

extension-methods

external-functions, external-types

floating-point-numbers

Fsharp booleans

Fsharp datetimes

Fsharp discriminated-unions

Fsharp floating-point-numbers

Fsharp if-then-else-expressions, numbers

Fsharp pattern-matching

Fsharp recursion

functions, mutability, integers

generic-types, lists

getters-setters

Gleam anonymous-functions

Gleam bit-arrays

Gleam case-expressions

Gleam constants, orders

Gleam custom-types

Gleam external-functions, external-types

Gleam labelled-arguments

Gleam labelled-fields

Gleam let-assertions

Gleam modules, ints, floats

Gleam opaque-types

Gleam phantom-types

Gleam pipe-operator

Gleam recursion

Gleam tail-call-optimisation

Gleam type-aliases, dicts

Gleam use-expressions

Haskell algebraic-data-types

Haskell booleans

Haskell pattern-matching-literals

Idris

if-else-statements, numbers

if-statements, numbers

if-then-else-expressions, numbers

increment-decrement, for-loops

integers, floating-point-numbers, arithmetic

integral-numbers

interfaces, ordering

Java arrays, for-loops, foreach-loops

Java bit-manipulation

Java constructors

Java exceptions

Java if-else-statements, numbers

Java inheritance

Java interfaces

Java lists, generic-types

Java method-overloading

Java nullability

Java randomness

Java switch-statement

Java ternary-operators

Javascript array-destructuring, object-destructuring

Javascript array-loops

Javascript array-transformations

Javascript arrays

Javascript arrow-functions, array-analysis

Javascript basics

Javascript booleans

Javascript callbacks

Javascript classes

Javascript closures

Javascript comparison, conditionals

Javascript conditionals-ternary, template-strings

Javascript dates

Javascript errors, inheritance

Javascript functions

Javascript Guide

Javascript increment-decrement, for-loops

Javascript null-undefined

Javascript numbers, arithmetic-operators

Javascript objects

Javascript promises

Javascript randomness

Javascript recursion

Javascript regular-expressions

Javascript rest-and-spread

Javascript sets

Javascript strings

Javascript type-checking

Javascript type-conversion

Javascript while-loops, conditionals-switch

Jq compare, conditionals

Jq regular-expressions

Julia bitwise-operations

Julia conditionals

labelled-arguments

labelled-fields

lambda-list, keyword-parameters, optional-parameters, rest-parameters

list-comprehensions

lists, generic-types

mapping, filtering

method-overloading

method-overloading, named-arguments, optional-parameters

method-syntax, traits

modules, ints, floats

numbers, arithmetic-operators

numbers, conditionals

object-initializers

Objective-c Guide

operator-overloading

ownership, structs, references-and-snapshots

partial-application-composition

pattern-matching

pattern-matching-literals

Powershell Guide

processes, pids

Purescript Guide

regular-expressions

resource-cleanup

resource-lifetime

rest-and-spread

sequential-destructuring

string-formatting, verbatim-strings

strings, includes

switch-statement

switch-statements

tail-call-optimisation

tail-call-recursion

ternary-operators

try-rescue-else-after, dynamic-dispatch

type-aliases, dicts

type-conversion

Typescript Guide

use-expressions

user-defined-exceptions, exception-filtering

Vimscript Guide

web-applications-sandbox

while-loops, conditionals-switch

while-loops, return

X86-64-assembly

X86-64-assembly Guide

Yamlscript Guide

Topic: Idris

The Complete Idris Guide: From Zero to Expert

The Complete Idris Guide: From Zero to Expert Idris is a general-purpose, pure functional programmin…

Kodikra

Kodikra is your complete guide to learning programming from fundamentals to advanced concepts. We provide structured tutorials, real-world projects, and hands-on coding exercises for every language, aiming to empower the next generation of competent developers.

Explore

About
Contact
Sitemap
Disclaimer
Privacy Policy
Learning Hub

© 2026 ‧ kodikra. All rights reserved. Made with ♥ by Kodikra