Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Type

All Article Video

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Add your RSS feed!

Filtering by: Keyword: dynamic Clear all

Gradually debugging type errors

checker dynamic errors gradual gradually ill-typed ill-typedness type checker type inference typing

01 Sep 2024

Anil Madhavapeddy's Blog

Read Article

[ARTICLE]

Ocaml to PostgreSQL: Building Dynamic Queries with Type Safety

Learn how we implemented dynamic query execution in PostgreSQL for our Audit Trail feature, balancing type safety and performance.

audit dynamic pgsql_io postgresql queries query safety sql terrateam trail

28 Dec 2023

Terrateam Blog

Read Article

QubesOS MirageOS firewall: dynamic ruleset, DNS

consumes dns dynamic firewall mirageos qubesos ruleset secure unikernel vms

01 Mar 2019

Robur Cooperative

Read Article

[ARTICLE]

JavaScript, this static language (part 1)

tl;dr JavaScript is a dynamic language. However, by borrowing a few pages from static languages – and a few existing tools – we can considerable improve reliability and maintainability. « Writing o…

dynamic dynamism errors javascript language metric static suspicious type inference type-checking

20 Oct 2011

David Teller

Read Article

Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language

Paper on DSL for specifying temporal protocol automata presented at ICFEM 2009.

automata checking combining dynamic enforcement formal verification policy spl statecall static

01 Nov 2009

Anil Madhavapeddy's Blog

Read Article

[ARTICLE]