diff --git a/data/tutorials/language/0it_00_values_functions.md b/data/tutorials/language/0it_00_values_functions.md index 29483eb8ce..08b57e12b7 100644 --- a/data/tutorials/language/0it_00_values_functions.md +++ b/data/tutorials/language/0it_00_values_functions.md @@ -5,6 +5,9 @@ short_title: Values and Functions description: | Functions, values, definitions, environments, scopes, closures, and shadowing. This tutorial will help you master the fundamentals. category: "Introduction" +prerequisite_tutorials: + - "toplevel-introduction" + - "installing-ocaml" --- ## Introduction @@ -13,10 +16,6 @@ In OCaml, functions are treated as values, so you can use functions as arguments We use UTop to understand these concepts by example. You are encouraged to modify the examples to gain a better understanding. -**Prerequisites**: -- The [Introduction to the OCaml Toplevel](https://ocaml.org/docs/toplevel-introduction) guide covers how to use UTop. -- Ensure you have completed the [Get Started](https://ocaml.org/docs/installing-ocaml) series before proceeding with this tutorial. - ## What is a Value? Like most functional programming languages, OCaml is an [expression-oriented](https://en.wikipedia.org/wiki/Expression-oriented_programming_language) programming language. That means programs are expressions. Actually, almost everything is an expression. In OCaml, statements don't specify actions to be taken on data. All computations are made through expression evaluation. Computing expressions produce values. Below, you'll find a few examples of expressions, their types, and the resulting values. Some include computation and some do not: diff --git a/data/tutorials/language/0it_01_basic_datatypes.md b/data/tutorials/language/0it_01_basic_datatypes.md index 972ca751b0..6ded01e295 100644 --- a/data/tutorials/language/0it_01_basic_datatypes.md +++ b/data/tutorials/language/0it_01_basic_datatypes.md @@ -5,6 +5,9 @@ short_title: Basic Data Types and Pattern Matching description: | Predefined Types, Variants, Records, and Pattern Matching category: "Introduction" +prerequisite_tutorials: + - "tour-of-ocaml" + - "values-and-functions" --- ## Introduction @@ -13,9 +16,7 @@ This document covers atomic types, such as integers and Booleans; predefined com In OCaml, there are no type checks at runtime, and values don't change type unless explicitly converted. This is what being statically- and strongly-typed means. This allows safe processing of structured data. - - -**Prerequisites**: Before proceeding, it's necessary to have completed the [Get Started](https://ocaml.org/docs/get-started) series of tutorials as well as [Functions and Values](/docs/values-and-functions). As in previous tutorials, expressions after `#` and ending with `;;` are for the toplevel, like UTop. +**Note**: As in previous tutorials, expressions after `#` and ending with `;;` are for the toplevel, like UTop.