Rekurzivní datové typy v jazyku OCaml
Zdroj:
root.cz
21.12.2023 (00:00)
it, počítače
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. celý článek
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ů.
Proměnné, funkce a datové typy v jazyku OCaml
Zdroj:
root.cz
19.09.2023 (00:00)
it-pocitace
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.
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é.
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.
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.
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.
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).
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).
Dlouho očekávaná novinka v Go 1.18 – generické datové typy
Zdroj:
root.cz
29.03.2022 (00:00)
it-pocitace
Mnohými vývojáři netrpělivě očekávanou vlastností jazyka Go jsou (resp. byly) generické funkce a generické datové typy. Nakonec se objevily v nedávno vydané stabilní verzi Go 1.18.
Programovací jazyk C3: datové typy pro moderní architektury
Jazyk Shine: funkce, datové typy a práce s řetězci
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
Obousměrná fronta (deque) v programovacím jazyku Go
Základy tvorby grafů v programovacím jazyku R: typy grafů v knihovně lattice
Programová tvorba diagramů v jazyku Clojure s využitím knihovny Rhizome
Typová inference v Pythonu prováděná v runtime
NXNSAttack: zastavte nový druh útoku náhodnými dotazy, aktualizujte resolvery
Ří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
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
Dlouho očekávaná novinka v Go 1.8 – generické datové typy (dokončení)
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
Vývoj služeb postavených na systému Apache Kafka v jazyku Go
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í)
Podpora funkcionálního programovaní v jazyku Lua s využitím knihovny Moses
Datovka pro profíky. Návod na pokročilé ovládání datové schránky
Využití standardního balíčku „unsafe“ v jazyku Go
OneDrive už nemusí do cloudu poslat všechny typy souborů. Nastavte výjimky podle přípony
