#generic
Uses: 3
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.
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.
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.