// Ġ! LANGUAGE : Ġ+ Pol ymorphic Signature Ċ // ĠIG NORE _ BACKEND _ FI R : ĠJVM _ IR Ċ // ĠTARGET _ BACKEND : ĠJVM Ċ // ĠIG NORE _ BACKEND : ĠJVM _ IR Ċ // ĠFULL _ JDK Ċ // ĠSKIP _ JDK 6 Ċ // ĠWITH _ RUNTIME Ċ Ċ import Ġjava . lang . invoke . Method Handles Ċ import Ġjava . lang . invoke . MethodType Ċ Ċ class ĠC Ġ{ ĊĠĠĠ Ġfun Ġfoo ( s : ĠString , Ġd : ĠDouble , Ġx : ĠInt ): ĠString Ġ= Ġ"$ s $ d $ x " Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġm h Ġ= ĠMethod Handles . lookup (). find Virtual ( ĊĠĠĠĠĠĠĠ ĠC :: class . java , Ġ" foo ", ĊĠĠĠĠĠĠĠ ĠMethod Type . method Type ( String :: class . java , ĠString :: class . java , ĠDouble :: class . java , ĠInt :: class . java ) ĊĠĠĠ Ġ) ĊĠĠĠ Ġval Ġresult : ĠString Ġ= Ġm h . invoke Exact ( C (), Ġ" Hello ", Ġ 0 . 0 1 , Ġ 4 2 ) Ġas ĠString ĊĠĠĠ Ġreturn Ġif Ġ( result Ġ== Ġ" Hello 0 . 0 1 4 2 ") Ġ" OK " Ġelse Ġ" Fail : Ġ$ result " Ċ } Ċ