partial-application

2熱度

4回答

結合一個部分應用功能在Haskell

我是一個新手的Haskell，所以請原諒我，如果你發現這個問題簡單： 我怎麼會得到GHCI接受這種聲明：let foo = fmap (*3) . fmap (+10)？ 我試着向foo添加一個類型聲明（let foo :: [Int] -> [Int] =等）以使函子類型顯式化，但編譯器響應Illegal Signature。 謝謝！ 編輯 - 顯然有很多方法可以做到這一點。我選擇了吉洪的回答，

haskell partial-application 2012-07-31

---

11熱度

3回答

關於Function.prototype.bind（）

的困惑我是ES5的Function.prototype.bind和currying參數（基本上爲函數創建默認參數）的狂熱粉絲。 我在那兒玩弄了一下，但是我不能在我的生活中找出自己的構造。這是我的遊樂場： function hello(arg1, arg2) { console.log('hello()'); console.log('"this" is: ', this);

javascript bind ecmascript-5 partial-application 2012-08-01

---

0熱度

2回答

運算符的部分應用

如果我想在字符末尾添加一個空格來返回列表，如果我不傳遞任何參數，如何用部分應用程序完成此操作？ 此外，類型是什麼？ space :: Char -> [Char] 我在使用++和：操作符時由於'分析錯誤'而在末尾添加空格時遇到問題。 我至今是： space :: Char -> [Char] space = ++ ' ' 任何幫助，將不勝感激！謝謝

function haskell types currying partial-application 2012-09-23

---

9熱度

1回答

在lambda表達式

替換參數考慮此代碼： public class Foo { public int a { get; set; } public int b { get; set; } } private void Test() { List<Foo> foos = new List<Foo>(); foos.Add(new Foo()); foos.Ad

c# lambda expression-trees partial-application 2012-06-22

---

5熱度

3回答

局部應用說明 - 加入

爲什麼部分應用不同簽名的功能有效？ 以Control.Monad.join爲例： GHCi> :t (=<<) (=<<) :: Monad m => (a -> m b) -> m a -> m b GHCi> :t id id :: a -> a GHCi> :t (=<<) id (=<<) id :: Monad m => m (m b) -> m b 它爲什麼會接受到位(a

haskell types partial-application 2012-08-13

---

3熱度

1回答

boost :: bind成員函數 - 部分應用程序鏈接

我想使用boost :: bind將curried函數鏈接在一起，並且得到我無法解析的編譯器錯誤。我可以做這最簡單的例子編譯失敗： #include <iostream> #include <boost/bind.hpp> class A { public: template <typename F> void g(F fn, char c) {

c++ boost bind partial-application 2012-10-02

---

1熱度

2回答

是否可以通過將一個參數設置爲一個固定值來從n參數函數中獲取（n-1）-argument函數？

我想知道如果在C++中可以通過將第n個參數的值設置爲某個值（要在運行時確定）從一個帶n個參數的函數中獲取（n-1）個參數？ E.g.我想這樣做如下： float foo(float a, float b, float c){ // do some stuff } float bar(float x, float y, float f(float q, float r)){

c++ partial-application 2011-10-21

---

3熱度

3回答

懶惰在行動？ （哈斯克爾）

在6章瞭解您一個Haskell，介紹了以下功能： zipWith' :: (a -> b -> c) -> [a] -> [b] -> [c] zipWith' _ [] _ = [] zipWith' _ _ [] = [] zipWith' f (x:xs) (y:ys) = f x y : zipWith' f xs ys 筆者給出它的使用，我發現很容易遵循的幾個例子。那麼這一個：

haskell scheme lazy-evaluation higher-order-functions partial-application 2012-06-26

---

7熱度

1回答

什麼是咖喱編程語言列表？

我剛剛從另一個問題中學到，Haskell被稱爲curried編程語言，因爲它默認應用了函數currying。顯示此行爲的其他語言是什麼？

programming-languages functional-programming currying partial-application 2012-06-27

---

1熱度

1回答

在Coq中有（ - >）的顯式類型構造函數嗎？

我想定義一個提供身份和組成的類。除了其他有用的實例（List with nil and concatenation;與關係，好，身份和組合;-)），我想有一個函數實例。 鑑於 Class Cat (C0 : Type) (C1 : C0 -> C0 -> Type) := { identity : forall a, C1 a a ; compose : forall {a b

types coq partial-application 2012-08-22

---