Proměnné, funkce a datové typy v jazyku OCaml
Zdroj:
root.cz
19.09.2023 (00:00)
it, počítače
Na druhý článek o programovacím jazyku F# dnes opět navážeme „doplňujícím“ článkem, v němž si vysvětlíme stejné koncepty, nyní ovšem upravené do takové podoby, aby je bylo možné přímo využít v jazyku OCaml. celý článek
Programovací jazyk F#: proměnné, funkce a datové typy
Zdroj:
root.cz
14.09.2023 (00:00)
it-pocitace
V úvodním článku o programovacím jazyku F# jsme si řekli, že základními stavebními kameny tohoto jazyka jsou neměnitelné hodnoty, funkce a datové typy. Dnes se na tyto koncepty podíváme podrobněji.
Algebraické datové typy v Pythonu
Zdroj:
root.cz
06.05.2025 (00:00)
it-pocitace
Ve stručnosti se seznámíme s (částečnou) podporou algebraických datových typů v jazyku Python. Algebraické datové typy byly původně doménou jazyků ML, CAML, OCaml a F#, ovšem postupně se rozšiřují i do mainstreamových jazyků.
Datové typy Option, Result a Array v programovacím jazyku OCaml
Zdroj:
root.cz
12.10.2023 (00:00)
it-pocitace
Na článek o datových typech Option, Result a Array v jazyku F# dnes navážeme. Ukážeme si, jak lze tytéž typy použít v OCamlu, ale popíšeme si také sémantiku funkce bind a dokonce i tvorbu „infixové“ funkce.
Definice uživatelských datových typů v jazyku OCaml
Zdroj:
root.cz
16.11.2023 (00:00)
it-pocitace
Popíšeme si, jakým způsobem lze uživatelské datové typy definovat v programovacím jazyku OCaml. Uvidíme, že mezi oběma jazyky existují v této oblasti rozdíly, většinou však jen syntaktické.
Rekurzivní datové typy v jazyku OCaml
Zdroj:
root.cz
21.12.2023 (00:00)
it-pocitace
Dnes se ještě jednou vrátíme k typovému systému jazyka OCaml. Ukážeme si, jak realizovat datový typ pro reprezentaci barvy, a to v různých barvových modelech. Řešení nebude založeno na objektech, ale na pattern matchingu.
Funkce v programovacím jazyku C3
Zdroj:
root.cz
16.10.2025 (00:00)
it-pocitace
Jednou z nejdůležitějších koncepcí (nejenom) v jazyku C3 je koncept funkcí. Začneme popisem běžných pojmenovaných funkcí, ovšem později se dostaneme i k anonymním funkcím a metodám (což jsou funkce navázané na konkrétní datové typy).
Datové typy Option, Result a Array v programovacím jazyku F#
Zdroj:
root.cz
10.10.2023 (00:00)
it-pocitace
V páté části seriálu o jazyku F# si popíšeme práci s dalšími velmi užitečnými datovými typy. V první řadě se jedná o typy Option a Result, které byly mj. použity, resp. přesněji řečeno převzaty i do jazyka Rust.
Řídicí konstrukce v programovacím jazyku OCaml
Zdroj:
root.cz
27.12.2023 (00:00)
it-pocitace
Seznámíme se s většinou zbývajících řídicích konstrukcí, které v jazyku OCaml nalezneme. Jedná se o rozhodovací konstrukci a o dvě varianty smyček. Popíšeme si i zpracování seznamů funkcemi iter, map, map2 a fold_left.
Jazyk Shine: funkce, datové typy a práce s řetězci
Zdroj:
root.cz
04.04.2024 (00:00)
it-pocitace
V dalším článku budou popsány funkce s proměnným počtem parametrů, datové typy tabulka a pole, práce s řetězci (včetně jejich interpolace) a nezapomeneme se zmínit ani o některých vlastnostech překladače shinec.
Programovací jazyk OCaml: rekurze, pattern matching a práce se seznamy
Zdroj:
root.cz
05.10.2023 (00:00)
it-pocitace
Články o jazyku OCaml vždy do jisté míry kopírují obsah článků o jazyku F#. Dnes si ukážeme koncepty popsané ve třetím a ve čtvrtém článku o F#. Budeme se tedy zabývat rekurzí, pattern matchingem a taktéž prací se seznamy (list).
Dlouho očekávaná novinka v Go 1.18 – generické datové typy
Programovací jazyk C3: datové typy pro moderní architektury
Funkce v programovacím jazyku R
Programovací jazyk R: seznamy a datové rámce
Základy tvorby grafů v programovacím jazyku R
Programovací jazyk R: pole a další podporované datové typy
Operátory v programovacím jazyku OCaml
Programovací jazyk C3: složené datové typy a kontejnery
Funkce a metody v programovacím jazyku C3 (dokončení)
Obousměrná fronta (deque) v programovacím jazyku Go
Základy tvorby grafů v programovacím jazyku R: typy grafů v knihovně lattice
Dlouho očekávaná novinka v Go 1.8 – generické datové typy (dokončení)
Kouzelné funkce a využití dalších skriptovacích jazyků v IPythonu
Využití standardního balíčku „unsafe“ v jazyku Go
Vývoj služeb postavených na systému Apache Kafka v jazyku Go
Programová tvorba diagramů v jazyku Clojure s využitím knihovny Rhizome
Funkce a typový systém programovacího jazyka ML
Funkcionální programování v Pythonu s využitím knihovny Toolz (2. část)
Typová inference v Pythonu prováděná v runtime
Řídicí struktury využitelné v programovacím jazyku Clojure
Datové schránky měly výpadek, nešly posílat nové zprávy
Projekt py2many: transpiler Pythonu do dalších programovacích jazyků
Knihovny s implementací generických datových typů pro programovací jazyk Go
Knihovna LibCST umožňující snadnou modifikaci zdrojových kódů Pythonu (2. část)
Specifické vlastnosti procesorů AArch64: aritmetické operace
Číselné hodnoty s neomezeným rozsahem a přesností v programovacím jazyku Go (1)
Přetěžování operátorů v programovacím jazyce C3
V EU končí další svítidla. Po žárovkách musí zmizet i často používané typy zářivek
Čtyři různé podoby datové struktury map v programovacím jazyku Clojure
13 nejšílenějších programovacích jazyků, ze kterých vám praskne hlava
Základy tvorby grafů v programovacím jazyku R: knihovna lattice (dokončení)
