私は、Javaから来て、このように二つの部分の機能を組み合わせることを希望は： def sum(a: Int, b: Int, c: Int) : Int = a + b + c
私はこのような何か書きたい： val l = List(1, 2, 3)
l.foreach(println _ sum (1, _ : Int, 3)) // It's supposed to apply
Test-Driven Development with Idrisの第9章には、以下のデータタイプとremoveElem機能があります。 import Data.Vect
data MyElem : a -> Vect k a -> Type where
MyHere : MyElem x (x :: xs)
MyThere : (later : MyElem x xs)
私は以前この質問をした：Combine a PartialFunction with a regular function 、その後実現し、私は実際にそれを右に尋ねていないこと。 別の試みがここにあります。私はこれを行う場合は ： val foo = PartialFunction[Int, String] { case 1 => "foo" }
val bar = foo orElse { c