Rekurzivní datové typy v jazyku OCaml

Zdroj Zdroj: root.cz     21.12.2023 (00:00)     Sekcia 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

Související články
 
Ďalšie články
 

Proměnné, funkce a datové typy v jazyku OCaml

Zdroj Zdroj: root.cz     19.09.2023 (00:00)     Sekcia 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 Zdroj: root.cz     16.11.2023 (00:00)     Sekcia 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 Zdroj: root.cz     12.10.2023 (00:00)     Sekcia 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 Zdroj: root.cz     10.10.2023 (00:00)     Sekcia 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 Zdroj: root.cz     27.12.2023 (00:00)     Sekcia 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 Zdroj: root.cz     14.09.2023 (00:00)     Sekcia 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 Zdroj: root.cz     05.10.2023 (00:00)     Sekcia 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

Zdroj Zdroj: root.cz     29.03.2022 (00:00)     Sekcia 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.

 

Jazyk Shine: funkce, datové typy a práce s řetězci

Zdroj Zdroj: root.cz     04.04.2024 (00:00)     Sekcia 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 R: seznamy a datové rámce

Zdroj Zdroj: root.cz     22.09.2020 (00:00)     Sekcia it-pocitace

[28 minut čtení] Posledními dvěma datovými typy, s nimiž se seznámíme, jsou seznamy a datové rámce. V praxi jsou důležité především datové rámce, které připomínají například databázové tabulky – jejich sloupce mohou mít různý typ. 1. 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 OCaml

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

V Chromu na Androidu si necháte přečíst webovou stránku. Podporováno je 12 jazyků, doplní je překlady

Typová inference v Pythonu prováděná v runtime

Řídicí struktury využitelné v programovacím jazyku Clojure

NXNSAttack: zastavte nový druh útoku náhodnými dotazy, aktualizujte resolvery

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)

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

Překladač Google podporuje skoro 250 jazyků. Polovinu z nich umí díky AI, která se učila „bez slovníku“

Č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í)

Zprávy do datové schránky už nezmizí. Portál občana je umí zadarmo archivovat. Tuto funkci ale musíte zapnout

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

OneDrive už nemusí do cloudu poslat všechny typy souborů. Nastavte výjimky podle přípony

Detectron2 – hra na špióny

Klasifikace Elektrokardiogramu (EKG) – díl druhý

Programovací jazyk R: vektory ve funkci základního datového typu jazyka

Kyberútoky na datové schránky neměly vliv na bezpečnost uživatelů a dat

OBRAZEM: Vlaky TGV jako patrové. Jeden speciální dosáhl rychlosti 574,8 km/h

15 let datových schránek (2): Proč jedna osoba může mít více datových schránek a proč do jedné schránky může mít přístup více osob?

Datové schránky budou zřizovány i lidem s pozastavenou živností

 
Počasí Kurzy

1 € = 27.453   CZK

1 € = 0.7276   GBP

1 € = 1.0736   CHF

1 € = 4.1582   PLN

1 € = 1.1168   USD

Program

Markíza19:00 TELEVÍZNE NOVINY

 

Jednotka19:55 Góly - body - sekundy

 

Dvojka20:00 Záznam zo žrebovania: KENO 10, Keno Joker, Loto, Joker, Loto 5 z 35 (B)

 

JOJ19:30 NOVINY TV JOJ

 

Kompletný tv program

Reality Horoskopy

Beran: Ak sa vás partner pýta, ako využijete voľné dni, vy sa pýtajte, ako si ich predstavuje. Je možné, že sa s vami bude chcieť pochváliť a pozve vás medzi priateľov, na ich úsudku mu veľmi záleží.

Býk: Dnes zacítite pocit naplnenia a úspechu. A ak sa darí vám, vaši priatelia a známi môžu rovnako počítať s vašou podporou a pomocou. Čaká vás množstvo pracovných aj súkromných stretnutí, kde prejavíte svoju schopnosť prejaviť účasť a poskytnúť cennú radu.

Blíženci: Dnes je váš deň, tak to využite. Poteší vás nejaká dobrá správa. Všetko sa pohne dopredu. Rozdávajte okolo seba úsmevy a ukazujte veselú tvár, lebo nie ste tak chudí, aby ste trocha šťastia nemohli dať.

Rak: Ak sa budete dnes predbiehať v rade alebo nebudete radu rešpektovať, môžete prísť domov dosť zničený. Na vašom okolí potom bude vysvetliť vám, prečo tomu tak je.

Lev: Ak sa chcete hádať, uvedomte si, že deň vám dáva energiu, takže máte dosť síl, aby ste neuhli a vytrvali až do víťazného konca. Buď uhnete, alebo deň zakončíte ujmou na zdraví.

Panna: Dnes vám uspokojenie môže prinášať iba láska, ale pretože váš nepružný a konzervatívny postoj môže hocikoho odradiť, voľte radšej úsmev. Ak sa k vám opačné pohlavie dnes priblíži, využite svoje šance.

Váhy: Plný energie budete iba v dopoludňajších hodinách. Celý ďalší zbytok dňa budete vyžadovať citlivejšie a jemnejšie zachádzanie. Ak si to navzájom poskytnete s ostatnými, budete celkom v príjemnej pohode.

Štír: Neprehrabávajte vrecká svojmu partnerovi! List od nelegálneho partnera tam síce neobjavíte, ale mohli by ste nájsť podrobný rozpis všetkých domácich prác, ktoré chce vo voľných dňoch stihnúť, čo by vás spoľahlivo otrávilo.

Střelec: Nesmiete sa stať panovačnými až diktátorskými. Mohlo by to mať netušené následky. Hľadajte svoje prednosti a verte, že ste dobrý taký, aký ste. Vo vzťahu máte potrebu väčšej istoty, alebo by ste radi realizovali niečo, čo vám už dlho vŕta v hlave.

Kozoroh: Dovoľte si byť voľný a ničím nezaťažený, aj keď je situácia neúnosná a vy máte pocit, že sa vám niečo vymklo z rúk.

Vodnář: Vaša dnešná fyzická odolnosť sa nedá porovnávať so silnejším znameniami horoskopu. Potreba odpočinku je u vás proste vyššia, a tak pozorne vnímajte signály vášho tela, ktoré poukazuje na preťaženie organizmu.

Ryby: Pozor dajte pri vysvetľovaní hocičoho. Budete hovoriť rýchlejšie než normálne a môžete nechtiac vyrobiť dosť veľký trapas. Pokiaľ nemusíte, radšej sa k ničomu nevyjadrujte, najmä nie písomne.

Ďalšie horoskopy