#coding

Uses: 11

Assert Golang Errors For Behavior: Everything You Need To Know Before Making Robust and Scalable Error Handling

Tags: #coding #golang #errors

Golang articles advise sentinel errors and error types, which is not flexible enough. As a key learning, this solution leaks error types and its code across the packages. Only “assert errors for behavior” helps us to build a flexible solution. The post explains the package developers perspective on modelling errors using private data types to implement the respective behavior so that the library avoids a strong coupling with the caller, making for a nobrittle interface.

Why higher-kinded polymorphism is vital functional abstraction and How to implement type classes with Golang

Tags: #coding #pure functional #golang #algebra #type system #type classes #polymorphism #higher-kinded

Higher-kinded types helps to implement polymorphic containers, shared libraries, compatibility and harness testing. Golang does not support higher-kinded types, where a type is abstracted over some other type. The defunctionalization technique transforms higher-kinded type expressions into nullary kind. The post explains how to build a lightweight higher-kinded polymorphism using standard Golang notation with help of defunctionalization.

A Guide To Pure Type Combinators in Golang or How to Stop Worrying and Love the Functional Programming

Tags: #coding #pure functional #golang #algebra #type system #type classes #generic #polymorphism #combinators #type trait

Combinators open up an opportunity to depict computation problems in terms of fundamental elements. It delivers powerful patterns for functional programming and make a bridge to the way humans think, allowing anyone to represent anything using structured symbolic expressions. Let’s advance these patterns towards the Golang type system and define combinators over types and their instances to derive complex structures of type T. There are 7 patterns to consider and express their semantic with Golang despite a fact that Golang type system is less powerful and does not support type classes. In the end, combinators are fundamentally computational constructs.

How To Fix Error About Limits of TLS Certificates That Caused by AWS CDK

Tags: #coding #aws #aws cdk #bugfix

You have reached your limit of 20 certificates in the last year due to Continuous Delivery Workflow. Use cross-stack references feature of AWS CDK to fix the issue.

Passing Sensitive Data with JSON

Tags: #coding #aws #aws kms #crypto #privacy #open source

Software engineers are responsible to retain confidentiality of sensitive data. The post shows usage of auto crypto codec with Algebraic Data Types.

Retain Confidentiality in Open Source Infrastructure.

Tags: #coding #aws #aws cdk #aws kms #aws secret manager #crypto

Open Source Infrastructure uses confidential cloud resources. Key Vault addresses confidentiality challenge if you open sources your AWS CDK infrastructure.

Purely Functional Cloud Components with AWS CDK

Tags: #coding #aws #aws cdk #infrastructure as a code #pure functional #typescript #cloud #algebra #open source #combinators

A toolkit develops purely functional and high-order cloud components with AWS CDK. A shift from category of classes to pure functions simplifies the development.

Ad-Hoc polymorphism in TypeScript with implicit context

Tags: #coding #typescript #pure functional #type classes #generic #polymorphism

The post defines ad-hoc polymorphism techniques for TypeScript. It helps to define a function with several different types acting in a different way for each type.

Composable Cloud Components with AWS CDK

Tags: #coding #aws #aws cdk #infrastructure as a code #pure functional #typescript #cloud #boilerplate #combinators

Compose AWS CDK Components from small reusable elements using a purely functional method as a solution to scarp a boilerplate code.

Generic Representation of Algebraic Data Types in Erlang

Tags: #coding #erlang #pure functional #generic #type system #algebraic data types #algebra #common data model

Erlang permits writing a generic code but it has a few disadvantages that makes they usage questionable. The datum library provides a parse transform to solve Erlang’s limitations.

Public and Privately Routed VPC pattern

Tags: #coding #aws #aws vpc #infrastructure as a code #security #scalability #networking #cloud pattern

The routed VPC pattern is an universal and scalable pattern for AWS networking architecture.