https://mica-dev.com/reference/language/Recent content in The language described on Micahttps://mica-dev.com/Mica%20Development%20Web.jpeghttps://mica-dev.com/Mica%20Development%20Web.jpegHugoenhttps://mica-dev.com/reference/language/characters-names-and-literals/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/characters-names-and-literals/Chapter 1 of the language described: the text a Mica source is, its comments and its first line, the names it declares and the words it reserves, its operators, and every literal it writes, each with its rule, its meaning and the compiler's refusals.https://mica-dev.com/reference/language/programs-libraries-and-imports/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/programs-libraries-and-imports/Chapter 2 of the language described: the three kinds of unit a source is, the sections, routines and body of a block, the value every variable starts at, what a library exports and where its version comes from, imports from every kind of source, how an imported name is found, and the project file a build reads.https://mica-dev.com/reference/language/declarations-and-scopes/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/declarations-and-scopes/Chapter 3 of the language described: the constants, types, variables, procedures and functions a block declares, the routines nested in them, what each declaration may refer to, and the scopes every name is looked up in, each with its rule, its meaning and the compiler's refusals.https://mica-dev.com/reference/language/types/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/types/Chapter 4 of the language described: the kinds of type a value has, the ordinal, real and structured types and their values, the types an operation takes and gives, conversions, when two types are one and what an assignment admits, and types with parameters, each with its rule, its meaning and the compiler's refusals.https://mica-dev.com/reference/language/expressions/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/expressions/Chapter 5 of the language described: how a Mica program computes a value, its operands, the operators by precedence and the types they take, integer arithmetic in its width and what the checked build traps, comparisons, the boolean, set and string operators, conversions, constant expressions and calls, each with its rule, its meaning and the compiler's refusals.https://mica-dev.com/reference/language/statements/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/statements/Chapter 6 of the language described: what a Mica statement does, assignment and calls, the choices 'if' and 'case', the loops 'while', 'repeat', 'for' and 'for ... in', named loops with 'leave' and 'next', deferred statements and disposal, each with its rule, its meaning and the compiler's refusals.https://mica-dev.com/reference/language/routines/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/routines/Chapter 7 of the language described: the kinds of routine and their headings, what a call evaluates and hands over, the parameter modes, what a function answers, recursion and nested routines, each with its rule, its meaning and the compiler's refusals.https://mica-dev.com/reference/language/failures/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/failures/Chapter 9 of the language described: the two kinds of failure, error domains and the routines that fail, what a caller does with a failure, what reaches the caller and the program, traps and their exit status, the checked tier, and failure in tasks, streams and worker processes, each with its rule, its meaning and the compiler's refusals.https://mica-dev.com/reference/language/memory/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/memory/Chapter 10 of the language described: values and copies, cells on the heap with one owner each, borrowed pointers and the rule that keeps them valid, where a program's memory lives, the hosted heap and the fixed arena, and what the checked tier stops at run time, each with its rule, its meaning and the compiler's refusals.https://mica-dev.com/reference/language/tasks-generators-and-processes/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/tasks-generators-and-processes/Chapter 11 of the language described: tasks and the task tree, the concurrent block, schedule and placement on carriers and on processes, generators and streams with pull chains, rings, stages, into and select, failure in a block and across a stream, cancellation and deadlines, lost workers, what the checked build traps and what the compiler refuses.https://mica-dev.com/reference/language/tensors-and-the-tape/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/tensors-and-the-tape/Chapter 12 of the language described: the tensor types, their shapes and extents, the elementwise operations and the products, the gradient tape with its tracked values, windows and gradients, tensors placed on the GPU, and the floating-point flags of the optimizing build, each with its rule, its meaning and the compiler's refusals.https://mica-dev.com/reference/language/the-c-boundary/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/reference/language/the-c-boundary/Chapter 13 of the language described: importing from the C library, POSIX, Linux and a library's contract, the types that cross and their C spelling, who releases a cell that crosses, exports and the contract and header a library build writes, callbacks at contract slots, and what a C program sees, each with its rule, its meaning and the compiler's refusals.