vpatryshev

// Before


  def buildItem(eob:EOB)(props: Props): Result[EOB_item] = {
    implicit val empty: String = "" // weird
    for (sDate            <- props valueOf DateOfServicePerItem;
         date             <- DateFormat("MM/dd/yyyy").parseCurrent(sDate);
         description      <- props valueOf ProcedureDescription;
         sBilled          <- props valueOf BilledPerItem;
         billed           <- dollars(sBilled);

vpatryshev

import Experiments_1.Q2

object Experiments_1:

//  class Q1[+T]:
//    def enqueue(x: T): Unit = println(s"Q1 enqueued $x")
// val x1: Q1[Any] = new Q1[Int]

  class Q2[-T]:
    def enqueue(x: T): Unit = println(s"Q2 enqueued $x")

vpatryshev

 
class Test extends AnyFlatSpec with Matchers {
"transformer" should "work" in {
    // source: https://contributors.scala-lang.org/t/ability-to-force-the-caller-to-specify-a-type-parameter-for-a-polymorphic-method/2116/26
    sealed trait NotNothing[-T]
    
    object NotNothing {
      @implicitAmbiguous("inst() method needs a generic parameter type, which is missing")
      implicit val nothingIsNothing = new NotNothing[Nothing]{}
      implicit def notNothing[T] = new NotNothing[T] {}

vpatryshev

/**
 * An example of a polynomial applicative functor `1+X×X` build from two monads, 1+ and X×X, and
 * which is not a monad.
 * 
 * Idea: https://stackoverflow.com/questions/49742377/is-data-poe-a-empty-pair-a-a-a-monad/49742857#49742857
 */
object NotMonad {
  sealed trait SquarePlusOne[+A] {
    def map[B](f: A => B): SquarePlusOne[B]
  }

vpatryshev

#!/bin/bash
Try all available JDKs to find which one works for your Scala and sbt.

clear && printf '\e[3J'

function testWith(){
  java=$1
  echo Y | sdk install java "$java"
  sdk use java "$java"
  sbt clean test package 2>$java.log && rm $java.log && return 0 || return 1