"Objects validation and comparison using runtime types (io-ts)", Oleksandr Suhak

•

0 likes•44 views

A common task in modern JS is parsing, validating and then comparing JSON objects. In this talk I will quickly go through most common ways to parse/validate and compare objects we use today and then focus more on how runtime types (based on io-ts) can help make such tasks easier and quicker to implement.

Знайомство
Олександр Сугак
> 15 років в IT
Тім(тех)лід, архітектор, senior software engineer
ютуб: www.youtube.com/@AleksandrSugak
інтеракивні курси: codereel.io
twitter.com/alsugak

Background
Used many static languages to build systems in various domains
C#, F#, Java, Scala, TypeScript
Always the same challenge: parse, validate, transform, compare
raw data

Types vs Otside World
My App
(My Types)
“The Outside World”

JSON
Server Client
Types vs Otside World

Form data
User App
Types vs Otside World

Types vs Otside World: concrete examples
Grammarly: back-end server sending text suggestions
ECommerce: 3rd party service sending product updates via
queue

Product data
3rd Party Service App
Parsing, Validation and Comparison

“External Schema”
JSON Schema, Swagger, GraphQL etc.
TS: Code (types) generation using 3rd party libs
Information duplication: schema + TS types
Merge conflicts in generated code
Hard to refactor code after schema changes
“closed” code generation logic
as any as GeneratedType

Runtime types
Defined inside the app code as values/functions
Available at runtime (not erased by TS compiler)
Seen it before:

IO-TS
Runtime types encoding from Giulio Canti (author of fp-ts)
TS native, static types inferred from runtime types
Heavy use of fp-ts abstractions but can be used on its own
Runtime types encoding, compositions, decoding and more
github.com/gcanti/io-ts

IO-TS: much more
Decoding/Encoding/Equality and more.
Advanced compositions (e.g. recursive types)
Data transformations (.refine, .parse)
Branded types (E.g. PositiveInteger, ValidEmail, etc.)
Custom error reporters
Custom types
Custom interpreters (!)

IO-TS: Schema and Schemable
Type
Schema
Decoding
Equality
check
your
intepreter

IO-TS: Schema and Schemable
Type Schema
fast-check
arbitraries

Extended example:
github.com/AlexSugak/runtime_types/blob/main/src/changed_products.ts

IO-TS: Comparing with Zod
io-ts and fp-ts can be hard for beginners
Zod is more developer-friendly
both are good but to io-ts to me feels more thought-through
custom interpreters > 3rd party libraries
https://zod.dev/

Some conclusions
Runtime types offer IO type-safety without info duplication
IO-TS is a good library offerring sound foundation for your app IO
logic (good library = powerful abstraction and its algebra)
IO-TS can be a good way to start “doing FP” in your project

“Unit tests for beginners” course
Leave your email to get notification when course is ready:
codereel.io/courses/unit-tests-intro

The Language Server Protocol developed by Microsoft for Visual Studio Code is a language and IDE agnostic protocol which clearly separates language semantics from UI presentation. Language developers can implement the protocol and benefit from immediate support in all IDEs, while IDE developers, who implement the protocol get automatic support for all these languages without having to write any language-specific code. This session will let you learn more about the innards of the LSP. We will also have an overview of the current implementations in Eclipse, and outside Eclipse as well.

Designing Optimized Symbols for InduSoft Web Studio Projects

AVEVA

Because InduSoft Web Studio allows you to easily develop applications for mobile devices and embedded systems it’s easy to get lost in the rich feature set and develop symbols that are not optimized for the entire range of systems the application will be deployed to. In this webinar, we’d like to give InduSoft Web Studio users a guide to developing symbols that can be easily resized or easily optimized for deployment to mobile devices and embedded computers.

REST Coder: Auto Generating Client Stubs and Documentation for REST APIs

Hiranya Jayathilaka

Avro

Eric Turcotte

Runtime Environment Of .Net Divya Rathore

Esha Yadav

The document discusses the .NET Framework and how it aims to unify programming models, simplify development, and introduce a common language runtime. It covers the design goals of the CLR including making development and deployment easier while providing a robust and secure execution environment. Examples are provided of how tasks like splitting a string that were complex in SQL can be simplified with the .NET Framework.

JIRA Development

Sperasoft

JIRA is a bug tracking and issue tracking tool that allows users to manage issues, workflows, users and security. It also has a powerful plugin system that allows for customization. The document discusses building custom plugins and modules for JIRA, including different plugin module types. It also covers challenges like migrating configurations between environments and building custom data models and fields in JIRA.

AngularConf2015

Alessandro Giorgetti

This document discusses the advantages of using TypeScript for developing Angular applications. It begins with an introduction to TypeScript, including how it adds types and classes to JavaScript to improve code structure and tooling. The presenter then demonstrates how to write an Angular todo list application using TypeScript, comparing the syntax for services, controllers, and directives between regular JavaScript and TypeScript implementations. Decorators are also introduced as how Angular 2.0 will annotate classes and properties. Overall, TypeScript is shown to add significant benefits for organizing code and developing Angular applications.

The document provides a list of resources for a web development course, organized by topic. It includes recommended browsers, text editors, documentation pages, code samples, tutorials, starter files and more for topics like HTML, CSS, Bootstrap, JavaScript, Node.js, databases, authentication and design. The extensive list covers much of what students would need to learn key concepts and complete projects in the course.

NNUG Certification Presentation

Niall Merrigan

The document provides an overview and breakdown of the 70-536 .NET Application Development Foundation exam. It discusses exam basics such as objectives, format, and passing score. It also outlines exam tips and highlights important topics covered on the exam like .NET classes, security, serialization, and more. Specific areas are broken down by percentage of the exam. Resources for exam preparation are provided at the end.

Compiler Construction | Lecture 17 | Beyond Compiler Construction

Eelco Visser

Compiler construction techniques are applied beyond general-purpose languages through domain-specific languages (DSLs). The document discusses several DSLs developed using Spoofax including: - WebDSL for web programming with sub-languages for entities, queries, templates, and access control. - IceDust for modeling information systems with derived values computed on-demand, incrementally, or eventually consistently. - PixieDust for client-side web programming with views as derived values updated incrementally. - PIE for defining software build pipelines as tasks with dynamic dependencies computed incrementally. The document also outlines several research challenges in compiler construction like high-level declarative language definition, verification of

Building scalable and language independent java services using apache thrift

Talentica Software

NDC Sydney 2019 - Microservices for building an IDE – The innards of JetBrain...

Maarten Balliauw

Ever wondered how IDE’s are built? In this talk, we’ll skip the marketing bit and dive into the architecture and implementation of JetBrains Rider. We’ll look at how and why we have built (and open sourced) a reactive protocol, and how the IDE uses a “microservices” architecture to communicate with the debugger, Roslyn, a WPF renderer and even other tools like Unity3D. We’ll explore how things are wired together, both in-process and across those microservices. Let’s geek out!

Unit 1 - TypeScript & Introduction to Angular CLI.pptx

Malla Reddy University

TypeScript 101

rachelterman

TypeScript 101. TypeScript is a tool that allows you to utilize object oriented programming techniques with your JavaScript code. With TypeScript you have the same sort of namespaces and classes that you use to build your business objects. TypeScript classes support both inheritance and interfaces. We’ll introduce you to these concepts and show you how to use TypeScript to manage and organize your JavaScript code.

Type script

srinivaskapa1

TypeScript is a typed superset of JavaScript that compiles to plain JavaScript. It adds optional static types, classes, and interfaces to JavaScript to help catch errors. TypeScript is developed by Microsoft and is often used for large-scale JavaScript applications. Some key benefits of TypeScript include compilation to catch errors early, strong static typing for IntelliSense and refactoring, and support for modern JavaScript features while allowing for backwards compatibility.

APIs And SDKs Breaking Into And Succeeding In A Specialty Market

Bill Dubie

The Road to U-SQL: Experiences in Language Design (SQL Konferenz 2017 Keynote)

Michael Rys

APL was an early language with high-dimensional arrays and nested data models. Pascal and C/C++ introduced procedural programming with structured control flow. Other influences included Lisp for functional programming and Prolog for logic programming. SQL introduced declarative expressions with procedural control flow for data processing. Modern languages combine aspects of declarative querying, imperative programming, and support for both structured and unstructured data models. Key considerations in language design include support for parallelism, distribution, extensibility, and optimization.

Java basics

Jitender Jain

This document provides an overview of key Java concepts including classes, objects, interfaces, variables, methods, encapsulation, inheritance, polymorphism, constructors, static methods, memory management, exceptions, I/O streams, threads, and serialization. It discusses class templates, object states and behaviors, abstract vs final classes, interface purposes, primitive vs reference variables, method modifiers, encapsulation principles, inheritance relationships, polymorphism techniques, constructor uses and calls, static variables and functions, exception handling, I/O stream types, thread states and execution, and serialization approaches. The document also includes examples of practical Java applications involving banking, duck simulations, and collections sorting.

Vital AI MetaQL: Queries Across NoSQL, SQL, Sparql, and Spark

Vital.AI

This document provides an overview of MetaQL, which allows composing queries across NoSQL, SQL, SPARQL, and Spark databases using a domain model. Key points include: - MetaQL uses a domain model to define concepts and compose typed queries in code that can execute across different databases. - This separates concerns and improves developer efficiency over managing schemas and databases separately. - Examples demonstrate MetaQL queries in graph, path, select, and aggregation formats across SQL, NoSQL, and RDF implementations.

TypeScript: Angular's Secret Weapon

Laurent Duveau

540slidesofnodejsbackendhopeitworkforu.pdf

hamzadamani7

1. The document provides an introduction to the Node.js course, covering topics like JavaScript basics, Node.js fundamentals, Express.js, debugging, and more. 2. Key concepts discussed include how the Node.js runtime works, using core modules, asynchronous programming with callbacks and promises, and the module system. 3. Express.js is introduced as a popular web framework that handles requests and responses, routing, and other complex server tasks so developers can focus on business logic. Debugging tools are also covered.

Crystal internals (part 1)

Ary Borenszweig

The document discusses compilers and web applications. It begins by stating that writing web applications involves many technologies like HTML, CSS, JavaScript frameworks, databases, and more. In contrast, writing a compiler mainly involves processing source code through phases like lexing, parsing, type checking, and code generation. The document focuses on the code generation and semantic analysis phases of compilers. It provides examples of Crystal code for a compiler and explains key concepts like the Program object that holds compiled program data.

Crystal internals (part 1)

Ary Borenszweig

The document discusses the phases of a compiler and analyzing source code semantically. It explains that semantic analysis involves processing the abstract syntax tree (AST) to perform type checking and declaration of types, methods, etc. The key phases are the top-level phase which declares classes, modules, and other top-level items, and the semantic visitor which analyzes nodes in the AST while tracking the current type and looking up declarations.

"What does it really mean for your system to be available, or how to define w...

Fwdays

"Microservices and multitenancy - how to serve thousands of databases in one ...

Fwdays

Imagine you are designing a B2B service that will serve millions of businesses. This service will have dozens of different microservices with their own data, which can contain millions of records. How do you design such a database? Why is sharding not always the answer? What other options are there for such an architectural solution? I'll tell you how we at Uspacy came to serve thousands of small databases instead of a few large ones, what we've encountered and what we plan to face)

Similar to "Objects validation and comparison using runtime types (io-ts)", Oleksandr Suhak

The advantage of developing with TypeScript

Corley S.r.l.

Codeigniter

minhrau111

TypeScript . the JavaScript developer best friend!

Alessandro Giorgetti

Allura - an Open Source MongoDB Based Document Oriented SourceForge

Rick Copeland

Complete resource for web development

Tahmid Bin Taslim Rafi

NNUG Certification Presentation

Niall Merrigan

Compiler Construction | Lecture 17 | Beyond Compiler Construction

Eelco Visser

Building scalable and language independent java services using apache thrift

Talentica Software

NDC Sydney 2019 - Microservices for building an IDE – The innards of JetBrain...

Maarten Balliauw

Unit 1 - TypeScript & Introduction to Angular CLI.pptx

Malla Reddy University

TypeScript 101

rachelterman

Type script

srinivaskapa1

APIs And SDKs Breaking Into And Succeeding In A Specialty Market

Bill Dubie

The Road to U-SQL: Experiences in Language Design (SQL Konferenz 2017 Keynote)

Michael Rys

Java basics

Jitender Jain

Vital AI MetaQL: Queries Across NoSQL, SQL, Sparql, and Spark

Vital.AI

TypeScript: Angular's Secret Weapon

Laurent Duveau

540slidesofnodejsbackendhopeitworkforu.pdf

hamzadamani7

Crystal internals (part 1)

Ary Borenszweig

Crystal internals (part 1)

Ary Borenszweig

Similar to "Objects validation and comparison using runtime types (io-ts)", Oleksandr Suhak (20)

The advantage of developing with TypeScript

Codeigniter

TypeScript . the JavaScript developer best friend!

Allura - an Open Source MongoDB Based Document Oriented SourceForge

Complete resource for web development

NNUG Certification Presentation

Compiler Construction | Lecture 17 | Beyond Compiler Construction

Building scalable and language independent java services using apache thrift

NDC Sydney 2019 - Microservices for building an IDE – The innards of JetBrain...

Unit 1 - TypeScript & Introduction to Angular CLI.pptx

TypeScript 101

Type script

APIs And SDKs Breaking Into And Succeeding In A Specialty Market

The Road to U-SQL: Experiences in Language Design (SQL Konferenz 2017 Keynote)

Java basics

Vital AI MetaQL: Queries Across NoSQL, SQL, Sparql, and Spark

TypeScript: Angular's Secret Weapon

540slidesofnodejsbackendhopeitworkforu.pdf

Crystal internals (part 1)

More from Fwdays

"What does it really mean for your system to be available, or how to define w...

Fwdays

"Microservices and multitenancy - how to serve thousands of databases in one ...

Fwdays

"Scaling RAG Applications to serve millions of users", Kevin Goedecke

Fwdays

"NATO Hackathon Winner: AI-Powered Drug Search", Taras Kloba

Fwdays

This is a session that details how PostgreSQL's features and Azure AI Services can be effectively used to significantly enhance the search functionality in any application. In this session, we'll share insights on how we used PostgreSQL to facilitate precise searches across multiple fields in our mobile application. The techniques include using LIKE and ILIKE operators and integrating a trigram-based search to handle potential misspellings, thereby increasing the search accuracy. We'll also discuss how the azure_ai extension on PostgreSQL databases in Azure and Azure AI Services were utilized to create vectors from user input, a feature beneficial when users wish to find specific items based on text prompts. While our application's case study involves a drug search, the techniques and principles shared in this session can be adapted to improve search functionality in a wide range of applications. Join us to learn how PostgreSQL and Azure AI can be harnessed to enhance your application's search capability.

"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk

Fwdays

At this talk we will discuss DDoS protection tools and best practices, discuss network architectures and what AWS has to offer. Also, we will look into one of the largest DDoS attacks on Ukrainian infrastructure that happened in February 2022. We'll see, what techniques helped to keep the web resources available for Ukrainians and how AWS improved DDoS protection for all customers based on Ukraine experience

"Black Monday: The Story of 5.5 Hours of Downtime", Dmytro Dziubenko

Fwdays

"Reaching 3_000_000 HTTP requests per second — conclusions from participation...

Fwdays

"$10 thousand per minute of downtime: architecture, queues, streaming and fin...

Fwdays

Direct losses from downtime in 1 minute = $5-$10 thousand dollars. Reputation is priceless. As part of the talk, we will consider the architectural strategies necessary for the development of highly loaded fintech solutions. We will focus on using queues and streaming to efficiently work and manage large amounts of data in real-time and to minimize latency. We will focus special attention on the architectural patterns used in the design of the fintech system, microservices and event-driven architecture, which ensure scalability, fault tolerance, and consistency of the entire system.

"Choosing proper type of scaling", Olena Syrota

Fwdays

"What I learned through reverse engineering", Yuri Artiukh

Fwdays

"Impact of front-end architecture on development cost", Viktor Turskyi

Fwdays

I have heard many times that architecture is not important for the front-end. Also, many times I have seen how developers implement features on the front-end just following the standard rules for a framework and think that this is enough to successfully launch the project, and then the project fails. How to prevent this and what approach to choose? I have launched dozens of complex projects and during the talk we will analyze which approaches have worked for me and which have not.

"Micro frontends: Unbelievably true life story", Dmytro Pavlov

Fwdays

"JavaScript. Standard evolution, when nobody cares", Roman Savitskyi

Fwdays

"How Preply reduced ML model development time from 1 month to 1 day",Yevhen Y...

Fwdays

"GenAI Apps: Our Journey from Ideas to Production Excellence",Danil Topchii

Fwdays

In my talk, I will tell about the world of GenAI services beyond GPT-wrappers and how we developed and scaled GenAI-centric applications. I'll share personal experiences about the obstacles, lessons, and strategic tools and methodologies that were key in taking GenAI applications from 0 to 1. I'll talk about the challenges we faced when launching LLM-based and image generative applications and delivering them to end users, and what conclusions and solutions were made.

"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...

Fwdays

Python engineers are introduced to the transformative potential of Large Language Models (LLMs) in the realm of advanced data analysis and the application of Semantic Kernel techniques. We will talk about how LLMs like ChatGPT can be integrated into Python environments to automate data processing, enhance predictive modeling, and unlock deeper insights from complex datasets. The session will delve into practical strategies for embedding Semantic Kernel methods within Python projects, illustrating how these advanced techniques can refine the accuracy of machine learning models by embedding domain-specific knowledge directly into the analysis process. Attendees will leave with a clear roadmap for leveraging the combined power of LLMs and Semantic Kernels, equipped with actionable knowledge to drive innovation in their data analysis projects and beyond, marking a significant leap forward in the evolution of Python engineering practices.

"Federated learning: out of reach no matter how close",Oleksandr Lapshyn

Fwdays

"What is a RAG system and how to build it",Dmytro Spodarets

Fwdays

"Debugging python applications inside k8s environment", Andrii Soldatenko

Fwdays

"ML in Production",Oleksandr Bagan

Fwdays

More from Fwdays (20)