Skip to main content

Understanding Type Checking

A few examples of types in the context of programming language can be integer, float, character, string, array, etc.  When a program executes then data flow between instructions and values of specific types are assigned to a variable after some operation. It's important for the system to verify if the correct types are used as operands in operations. For e.g. In a sum operation, the expectation for operands to be of numeric type. The program's execution should fail in the case there is inconsistency.

We can classify programming languages into two categories based as per their ability to cater to type safety:

  1. Dynamically Typed Language
  2. Statically Typed Language

Labels:

Comments

Post a Comment

Popular posts from this blog

Extend and reuse an existing AirByte destination connector

AirByte is an open-source ELT (Extract, Load, and Transformation) application. It heavily uses containerization for the deployment of its various components. On the local machine, we need docker to run it. AirByte has an impressive list of source and destination connectors available. One of my use case data destinations is the  ClickHouse data warehouse and its destination connector is not yet (2021-12-08) available. As per the documentation, It seems that creating a destination connector is a non-trivial job. It's a great idea to build an open-source ClickHouse destination connector. However, I tried avoiding the temptation to create one because of the required effort. AirByte has a  MySql destination connector available. ClickHouse provides a MySQL connector for access from any MySQL client. We need to configure Clickhouse to give support for the MySQL connector. Accessing ClickHouse from AirByte using its MySQL destination connector looks promising. However, when ...
Post a Comment
Read more

Spring WebFlux Functional HTML Form Handling

1. Intro In this guide, you will learn to handle the HTML Form using the Spring WebFlux Functional approach in Java. You will also learn a few important concepts related to HTML Form processing in Spring Webflux Functional. 2. Dependencies The following tools & libraries are used and tested for the given source code: Spring Boot v 2.1.9.RELEASE Spring Framework v 5.1.10RELEASE (Comes with mentioned Spring Boot version) Netty non-blocking server v 4.1.39FINAL (embedded) Thymleaf v 3.0.11.RELEASE template engine Source code is available on GitHub for clone and download. 3. Sample Requirement - Employee Data 3.1 Create an HTML form to capture employee Details Employee Data Capture Form (GET http://localhost:8080/form ) 3.2 Display captured employee data.   HTML Page to display captured Employee Data ( POST  http://localhost:8080/form) 4. HTML Form concepts for Spring WebFlux Functional In Spring WebFlux, FormHttpMessageReader & FormHttpMessageWriter d...
Post a Comment
Read more