Definice uživatelských datových typů v jazyku OCaml
Zdroj:
root.cz
16.11.2023 (00:00)
it, počítače
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é. celý článek
Definice uživatelských datových typů v jazyku F#
Zdroj:
root.cz
14.11.2023 (00:00)
it-pocitace
Velká síla programovacího jazyka F# spočívá v principu deklarace nových datových typů. Podporován je algebraický typový systém, ale například i možnost deklarace tříd s jejich hierarchií.
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.
Ří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 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).
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.
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.
Knihovny s implementací generických datových typů pro programovací jazyk Go
Zdroj:
root.cz
23.06.2022 (00:00)
it-pocitace
Doposud nejvýznamnější novou vlastností jazyka Go je zavedení podpory pro generické datové typy v Go 1.18. Právě existence generických datových typů umožnila vznik nových knihoven.
Podpora programovacího paradigmatu založeného na tocích (dat) knihovnou glow
Zdroj:
root.cz
02.02.2023 (00:00)
it-pocitace
Popíšeme si knihovnu nazvanou glow, která podporuje paradigma FBP neboli Flow-Based Programming v jazyku Go. Na Glow je nejzajímavější způsob automatického odvození a následné kontroly datových typů prvků, které „proudí“ grafem.
Operátory v programovacím jazyku OCaml
Zdroj:
root.cz
17.10.2023 (00:00)
it-pocitace
Operátory hrají v jazycích odvozených od ML podstatnou roli. Jedná se jak o standardní operátory, tak i o možnost vytvoření operátorů zcela nových, u nichž lze určit i jejich prioritu a asociativitu.
Obousměrná fronta (deque) v programovacím jazyku Go
Knihovny s implementací generických datových typů pro programovací jazyk Go (2)
Základy tvorby grafů v programovacím jazyku R: typy grafů v knihovně lattice
Formátovaný tisk obsahu tabulek a dalších datových struktur v Go
Kouzlo datových typů Decimal32, Decimal64 a Decimal128
Funkce a metody v programovacím jazyku C3 (dokončení)
Datový typ Decimal v programovacím jazyku Python
V Česku vzniklo již 1,5 milionu datových schránek a poslala se miliarda datových zpráv
Vláda kývla na větší ochranu soukromí uživatelů datových schránek
Řídicí struktury využitelné v programovacím jazyku Clojure
Projekt py2many: transpiler Pythonu do dalších programovacích jazyků
NSS vyhověl Mall.cz, únikem uživatelských účtu se musí opět zabývat ochránci dat
Přijmout musí, akceptovat ne. Jaké jsou praktické dopady změn poštovních datových zpráv?
Knihovna Pandas: zobrazení obsahu datových rámců, vykreslení grafů a validace dat
Počet datových schránek loni rostl nejrychleji v historii
Programovací jazyk R: vektory ve funkci základního datového typu jazyka
Základy tvorby grafů v programovacím jazyku R
Lidskoprávní organizace předají Sněmovně petici za nápravu definice znásilnění
Softwarová sklizeň (8. 3. 2023): jednotné dotazování do různých databázových systémů
Technologie WebAssembly a GopherJS: předávání argumentů mezi Go a JavaScriptem (dokončení)
NÚKIB varoval před posíláním uživatelských dat do Číny
Kybernetický úřad varoval před posíláním uživatelských dat do Číny
Na Mapy.cz zamířily uživatelské recenze. Pomohou s výběrem kvalitních míst
Knihovny s implementací generických datových typů pro programovací jazyk Go (3)
Facebook mění pravidla. Nově budete moci mít více než jeden profil, ale má to pár omezení
Manipulace s binárními datovými strukturami v Pythonu (2. část)
Vláda schválila změnu definice znásilnění, půjde o nesouhlasný pohlavní styk
Jak na datovku: Mizení zpráv, fikce i časová razítka. Nejčastější mýty o datových schránkách
Vývoj služeb postavených na systému Apache Kafka v jazyku Go
Ze streamovací platformy Plex unikla data uživatelů. Teď je vyzývá ke změně přihlašovacích údajů
