dhinojosa

Test

• One

• Two

• Three

dhinojosa

apiVersion: v1
kind: Pod
metadata:
  annotations:
    dns.alpha.kubernetes.io/internal: api.internal.dik8ssecurity01.k8s.local
    kubectl.kubernetes.io/default-container: kube-apiserver
  creationTimestamp: null
  labels:
    k8s-app: kube-apiserver
  name: kube-apiserver

dhinojosa

openpgp4fpr:8FC6B46B0E6D168B9AD09E774EE08417F5FD33D2

dhinojosa

Template Parameters

• A template is like a function, so it needs parameters, which must be declared at the top of the template file

  @(customer: Customer, orders: List[Order])

• Templates can also have default values in case one is not specified

dhinojosa

package com.xyzcorp;

import java.util.HashSet;
import java.util.Objects;
import java.util.Optional;
import java.util.Set;

public class Person implements Comparable<Person>{
    private String firstName;
    private String middleName; //null by default

dhinojosa

/*
 * (C) Copyright 2021 Boni Garcia (https://bonigarcia.github.io/)
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *   http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software

dhinojosa

trait Functor[F[_]]:
  def fmap[A, B](fa:F[A])(f: A => B):F[B]

trait Applicative[F[_]] extends Functor[F]:
  def pure[A](a:A):F[A]

object Lists:
  given Functor[List] with
    def fmap[A,B](fa:List[A])(f:A=>B):List[B] = fa.map(f)
  

dhinojosa

import scala.compiletime.ops.int.%

type HCF[A <: Int, B <: Int] <: Int = B match {
    case 0 => A
    case _ => HCF[B, A % B]
}

//A: 50, B: 10
//HCF[10, 0]
//10

dhinojosa

package com.xyzcorp.demo.higherkindedtypes

trait Functor[F[_]]:
  def fmap[A,B](fa:F[A])(f: A => B):F[B]

object Functor:
  def apply[F[_]](using fun:Functor[F]):Functor[F] = fun 

object ListTypeClasses:
  given Functor[List] = 

dhinojosa

package com.xyzcorp.challenges;

import org.junit.Test;

import java.time.LocalDateTime;
import java.time.ZoneId;
import java.time.ZonedDateTime;
import java.util.*;
import java.util.stream.Collectors;
import java.util.stream.Stream;