hexx

import language.experimental.macros

import scala.reflect.macros.Context

object Macros {
  def nonHygienicA(): Int = macro MacrosImpl.nonHygienicAImpl

  def hygienicA(): Int = macro MacrosImpl.hygienicAImpl
}

hexx

type DP = (T, T => Boolean) forSome { type T }

hexx

{-# LANGUAGE ExistentialQuantification #-}

data DP = forall a. DP a (a -> Bool)

hexx

def foo[B](f[A]: A => List[A], b: B, c: Int) = (f(b), f(c))

hexx

def foo[A, B](f: A => List[A], b: B, c: Int) = (f(b), f(c))

hexx

foo2 :: forall a b. (a -> [a]) -> b -> Int -> ([b], [Int])
foo2 f b c = ((f b), (f c))

bar2 :: forall b. (forall a. a -> [a]) -> b -> Int -> ([b], [Int])
bar2 f b c = ((f b), (f c))

hexx

{-# LANGUAGE RankNTypes #-}

bar :: (forall a. a -> [a]) -> b -> Int -> ([b], [Int])
bar f b c = ((f b), (f c))

hexx

foo :: (a -> [a]) -> b -> Int -> ([b], [Int])
foo f b c = ((f b), (f c))

hexx

(List("hoge"), List(1))

hexx

foo(toList, "hoge", 1)