1. 首頁
  2. 問答
  3. 搜索基於函數類型提供實現的實用程序

搜索基於函數類型提供實現的實用程序

2011-11-30 41 views
1

前段時間，我遇到了一個實用程序，它在給定函數簽名的情況下提供其實現（參數性）。我現在不記得它。請幫忙搜索基於函數類型提供實現的實用程序

來源

2011-11-30 IttayD

+0

一般來說，你可以使用hoogle（www.Haskell.org/hoogle）了點。但是我不確定你在找什麼？ – Sander

+3

好吧，Hoogle給你一個圖書館搜索。看起來海報正在尋找一種工具來生成實現，而不是查看它。 –

回答

3

Djinn。

來源

2011-11-30 08:19:49

+0

我很肯定這是IttayD的想法，但是djinn所做的並不完全與參數有關。 –

0

我認爲Djinn確實是您正在尋找的工具（請參閱Alexey Romanov的回答）。像丹尼爾指出的那樣，Djinn與參數無關，但也許你錯了this tool from the University of Bonn？

來源

2011-11-30 08:34:52

相關問題

 相關問題