How to resolve the algorithm Parametric polymorphism step by step in the Wren programming language

Published on 12 May 2024 09:40 PM
#Wren

How to resolve the algorithm Parametric polymorphism step by step in the Wren programming language

Table of Contents

Problem Statement

Parametric Polymorphism is a way to define types or functions that are generic over other types. The genericity can be expressed by using type variables for the parameter type, and by a mechanism to explicitly or implicitly replace the type variables with concrete types when necessary.

Write a small example for a type declaration that is parametric over another type, together with a short bit of code (and its type signature) that uses it.

A good example is a container type, let's say a binary tree, together with some function that traverses the tree, say, a map-function that operates on every element of the tree. This language feature only applies to statically-typed languages.

Let's start with the solution:

Step by Step solution about How to resolve the algorithm Parametric polymorphism step by step in the Wren programming language

Source code in the wren programming language

class BinaryTree {
    construct new(T, value) {
        if (!(T is Class)) Fiber.abort ("T must be a class.")
        if (value.type != T) Fiber.abort("Value must be of type T.")
        _kind = T
        _value = value
        _left = null
        _right = null
    }

    // constructor overload to enable kind to be inferred from type of value
    static new (value) { new(value.type, value) }

    kind  { _kind }
    value { _value}
    value=(v) {
        if (v.type != _kind) Fiber.abort("Value must be of type %(_kind)")
        _value = v
    }

    left  { _left }
    right { _right }
    left=(b) {
        if (b.type != BinaryTree || b.kind != _kind) {
            Fiber.abort("Argument must be a BinaryTree of type %(_kind)")
        }
        _left = b
    }
    right=(b) {
        if (b.type != BinaryTree || b.kind != _kind) {
            Fiber.abort("Argument must be a BinaryTree of type %(_kind)")
        }
        _right = b
    }

    map(f) {
        var tree = BinaryTree.new(f.call(_value))
        if (_left) tree.left = left.map(f)
        if (_right) tree.right = right.map(f)
        return tree
    }

    showTopThree() { "(%(left.value), %(value), %(right.value))" }
}

var b    = BinaryTree.new(6)
b.left   = BinaryTree.new(5)
b.right  = BinaryTree.new(7)
System.print(b.showTopThree())

var b2   = b.map{ |i| i * 10 }
System.print(b2.showTopThree())
b2.value = "six" // generates an error because "six" is not a Num

You may also check:How to resolve the algorithm Hello world/Standard error step by step in the sed programming language
You may also check:How to resolve the algorithm Hello world/Graphical step by step in the Standard ML programming language
You may also check:How to resolve the algorithm Gray code step by step in the Euphoria programming language
You may also check:How to resolve the algorithm Huffman coding step by step in the Fantom programming language
You may also check:How to resolve the algorithm Hello world/Newbie step by step in the Lambdatalk programming language