主頁 > 移動端開發 > Haskell標準:無法加載模塊,隱藏包

Haskell標準:無法加載模塊,隱藏包

2022-05-15 04:08:36 移動端開發

當我完全按照這個 Criterion 教程所說的開始做時,我得到一個錯誤。我究竟做錯了什么?教程錯了嗎?如果是這樣,有沒有地方可以讓我學習使用 Criterion 的正確方法?

具體來說,正如教程所說,我在命令列中運行了以下命令:

cabal update
cabal install -j --disable-tests criterion

這運行沒有錯誤。然后我完全復制了教程中的示例程式:

import Criterion.Main

-- The function we're benchmarking.
fib m | m < 0     = error "negative!"
      | otherwise = go m
  where
    go 0 = 0
    go 1 = 1
    go n = go (n-1)   go (n-2)

-- Our benchmark harness.
main = defaultMain [
  bgroup "fib" [ bench "1"  $ whnf fib 1
               , bench "5"  $ whnf fib 5
               , bench "9"  $ whnf fib 9
               , bench "11" $ whnf fib 11
               ]
  ]

我將它放入一個名為 benchTest.hs 的檔案中,然后我使用命令列完全按照教程中的說明編譯程式,但使用 benchTest 代替了他們所說的 Fibber。具體來說,我在命令列中運行了以下內容:

ghc -O --make benchTest

這導致了這個錯誤:

benchTest.hs:1:1: error:
    Could not load module `Criterion.Main'
    It is a member of the hidden package `criterion-1.5.13.0'.
    You can run `:set -package criterion' to expose it.
    (Note: this unloads all the modules in the current scope.)
    It is a member of the hidden package `criterion-1.5.13.0'.
    You can run `:set -package criterion' to expose it.
    (Note: this unloads all the modules in the current scope.)
    Use -v (or `:set -v` in ghci) to see a list of the files searched for.
  |
1 | import Criterion.Main
  | ^^^^^^^^^^^^^^^^^^^^^

uj5u.com熱心網友回復:

陰謀集團進化史

縱觀其歷史,Cabal 的作業方式發生了巨大轉變,通常被稱為v1-命令與v2-命令;例如,從 Cabal 2 開始,您可以說cabal v1-installcabal v2-install當你說cabal install的只是取決于 Cabal 版本時會發生什么: v1-install默認情況下,Cabal 2 將使用,而 Cabal 3 將使用v2-install. 默認值的變化反映了首選的操作模式。如此之多,v1已基本無人維護。我不希望它很快被洗掉,因為有一群老方法的堅定支持者。但我個人認為,首先,新的方式(有趣的事實,你可以使用cabal new-install作為同義詞)在技術上是優越的,其次,新手應該使用它,因為它有更好的檔案記錄,并且您可以更幸運地獲得幫助(在許多情況下,由于上述優勢,更容易獲得幫助)

為什么v1v2(簡而言之)所包含

您可能遇到的主要問題v1是多個專案之間的依賴關系不兼容。想象一下,您從事的專案A依賴于X version 的包,42同時您開始的專案B也依賴于Xversion 的包43你猜怎么著:你不能v1-build在同一臺機器上的兩個專案不清除cabal其間的快取。這就是它在黑暗時代(從 2000 年代中期到 2010 年代)的運作方式。

在那之后,陰謀集團的沙盒到來了。它們允許您構建我們想象中的專案AB并且不那么麻煩,但界面不是很好,更重要的是,每個沙箱都是獨立的,因此擁有大量重復的二進制檔案;例如A,并且B還可以依賴于Y相同的版本13,因此理論上不需要構建和存盤Y兩次,但這正是 cabal 沙箱所做的。

Cabalv2于 2010 年代后期到來,并帶來了確切的結果:通過稱為環境檔案的(也是最近的)GHC 功能隔離專案,并通過Cabal 存盤共享構建工件(這樣您就不會存盤同一事物的許多副本)。

環境和v2-install

您可以通過以下方式為每個專案( 、 等)創建一個單獨AB環境

cabal v2-install --lib X-42 --package-env=.

在相應專案的目錄中。關于語法的幾個注釋:

  1. v2-在 Cabal 3 中可以省略,因為它是默認設定;

  2. 只要install緊隨其后,標志的順序并不重要cabal

  3. --lib很重要,因為默認情況下您只獲得可執行檔案(這就是發生的情況criterion:包包含可執行檔案);

  4. --package-env=.意思是:在當前目錄下創建一個 GHC 環境檔案(因此.)。如果命令成功,您會注意到當前目錄中有一個新的(在 Linux 上為“隱藏”)檔案,名為 .ghc.environment.x86_64-linux-9.0.2. 這個檔案告訴這個目錄中所有對 GHC 的后續呼叫在哪里搜索由 Cabal 編譯并存盤在…… Cabal 存盤中的庫(在 Linux 上它是~/.cabal/store默認目錄)。原則上,您可以為環境使用非.值,如果該值不對應于路徑,它將是一個命名環境。Cabal 參考手冊中的更多詳細資訊……在實踐中,我發現 99.99% 的案例完全由--package-env=..

  5. X-42表示X版本的包42應該添加到新創建的環境中。你可以省略版本(你會得到“一些兼容的版本”),你可以列出多個包。

cabal v2-install --lib如果沒有指定環境意味著什么

意味著環境default有一個名為 default. 它有同樣的問題v1(見上文)。因此,在實踐中它可以作業,但它會非常脆弱,特別是如果您進入上述“專案A和專案B”的情況。即使您現在只處理一個專案,我也建議您使用,--package-env因為它是未來的證明。

為什么最初的錯誤

正如您所說,您使用的是 Cabal 2,因此v1-install最初看到了可怕的“隱藏包”錯誤——這是什么原因?老實說,我不知道。而且我懷疑如果不回滾到舊的陰謀集團版本并進行更多實驗,這很容易理解。正如我上面所說的,v1它不再真正被維護了,即使它看起來像 Cabal 中的一個錯誤(這完全有可能,尤其是在 Cabal 2 線的早期版本中),沒有人可能會為此煩惱。

舊教程不再起作用了,這不是很可悲嗎?

這是。不幸的是,軟體技術必須發展以使世界變得更美好(v2再次參見上面的原因)。有時這種開發必須打破向后兼容性。理想情況下,我們會去更新所有教育材料和手冊以反映變化,但這幾乎是不可能的。嘆。Haskell 的新用戶必須小心和創造性v1v2轉換并嘗試盡早獲得基本的了解,v2并嘗試將其應用到仍然存在的好但舊的教程中。

環境是最好的方法嗎?

一些設計者和支持者v2認為環境檔案是一個過于微妙的功能。作為(“適當的”)替代方案,他們建議為您開始的每個專案創建一個成熟的 cabal 包。這相當于呼叫 cabal init,它將<project-name>.cabal在當前目錄中創建一個檔案,并維護該.cabal檔案,包括那里的包依賴項串列;您還將cabal v2-build用于構建專案(而不是直接呼叫 GHC)。

雖然更強大,但毫不奇怪,這個想法并沒有讓許多使用 Haskell 嘗試許多獨立的小東西的人睡得很好:每次都創建一個完整的“包”感覺很糟糕。好吧,實際上它只是一個額外的檔案,如果你將它與我上面描述的基于環境的方法進行比較,它甚至不是額外的,它也維護一個額外的檔案,但在這種情況下你不需要編輯它手(與 .cabal檔案不同)。總而言之,在“嘗試一件小事”的場景中,我發現基于環境的方法更適合我。但與基于包的方法相比,它確實有其局限性,特別是,很難弄清楚 如何在環境中獲取依賴項的分析版本。但這是另一天的故事……

您可以在Cabal issue中找到更多關于如何cabal v2-install --lib改進的討論

如果你想遵循官方祝福的做事方式(即通過一個包),請花一點時間閱讀Cabal 手冊的入門部分——它非常清楚,并且準確地顯示了一個簡單應用程式的示例,它依賴于一個外部包。

轉載請註明出處,本文鏈接:https://www.uj5u.com/yidong/474329.html

標籤:哈斯克尔 阴谋 标准

上一篇:使用concatMap展平嵌套串列結構會產生錯誤

下一篇:單擊按鈕時不會觸發回呼功能。無法知道為什么控制臺沒有拋出錯誤

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 【從零開始擼一個App】Dagger2

    Dagger2是一個IOC框架,一般用于Android平臺,第一次接觸的朋友,一定會被搞得暈頭轉向。它延續了Java平臺Spring框架代碼碎片化,注解滿天飛的傳統。嘗試將各處代碼片段串聯起來,理清思緒,真不是件容易的事。更不用說還有各版本細微的差別。 與Spring不同的是,Spring是通過反射 ......

    uj5u.com 2020-09-10 06:57:59 more
  • Flutter Weekly Issue 66

    新聞 Flutter 季度調研結果分享 教程 Flutter+FaaS一體化任務編排的思考與設計 詳解Dart中如何通過注解生成代碼 GitHub 用對了嗎?Flutter 團隊分享如何管理大型開源專案 插件 flutter-bubble-tab-indicator A Flutter librar ......

    uj5u.com 2020-09-10 06:58:52 more
  • Proguard 常用規則

    介紹 Proguard 入口,如何查看輸出,如何使用 keep 設定入口以及使用實體,如何配置壓縮,混淆,校驗等規則。

    ......

    uj5u.com 2020-09-10 06:59:00 more
  • Android 開發技術周報 Issue#292

    新聞 Android即將獲得類AirDrop功能:可向附近設備快速分享檔案 谷歌為安卓檔案管理應用引入可安全隱藏資料的Safe Folder功能 Android TV新主界面將顯示電影、電視節目和應用推薦內容 泄露的Android檔案暗示了傳說中的谷歌Pixel 5a與折疊屏新機 谷歌發布Andro ......

    uj5u.com 2020-09-10 07:00:37 more
  • AutoFitTextureView Error inflating class

    報錯: Binary XML file line #0: Binary XML file line #0: Error inflating class xxx.AutoFitTextureView 解決: <com.example.testy2.AutoFitTextureView android: ......

    uj5u.com 2020-09-10 07:00:41 more
  • 根據Uri,Cursor沒有獲取到對應的屬性

    Android: 背景:呼叫攝像頭,拍攝視頻,指定保存的地址,但是回傳的Cursor檔案,只有名稱和大小的屬性,沒有其他諸如時長,連ID屬性都沒有 使用 cursor.getInt(cursor.getColumnIndexOrThrow(MediaStore.Video.Media.DURATIO ......

    uj5u.com 2020-09-10 07:00:44 more
  • Android連載29-持久化技術

    一、持久化技術 我們平時所使用的APP產生的資料,在記憶體中都是瞬時的,會隨著斷電、關機等丟失資料,因此android系統采用了持久化技術,用于存盤這些“瞬時”資料 持久化技術包括:檔案存盤、SharedPreference存盤以及資料庫存盤,還有更復雜的SD卡記憶體儲。 二、檔案存盤 最基本存盤方式, ......

    uj5u.com 2020-09-10 07:00:47 more
  • Android Camera2Video整合到自己專案里

    背景: Android專案里呼叫攝像頭拍攝視頻,原本使用的 MediaStore.ACTION_VIDEO_CAPTURE, 后來因專案需要,改成了camera2 1.Camera2Video 官方demo有點問題,下載后,不能直接整合到專案 問題1.多次拍攝視頻崩潰 問題2.雙擊record按鈕, ......

    uj5u.com 2020-09-10 07:00:50 more
  • Android 開發技術周報 Issue#293

    新聞 谷歌為Android TV開發者提供多種新功能 Android 11將自動填表功能整合到鍵盤輸入建議中 谷歌宣布Android Auto即將支持更多的導航和數字停車應用 谷歌Pixel 5只有XL版本 搭載驍龍765G且將比Pixel 4更便宜 [圖]Wear OS將迎來重磅更新:應用啟動時間 ......

    uj5u.com 2020-09-10 07:01:38 more
  • 海豚星空掃碼投屏 Android 接收端 SDK 集成 六步驟

    掃碼投屏,開放網路,獨占設備,不需要額外下載軟體,微信掃碼,發現設備。支持標準DLNA協議,支持倍速播放。視頻,音頻,圖片投屏。好點意思。還支持自定義基于 DLNA 擴展的操作動作。好像要收費,沒體驗。 這里簡單記錄一下集成程序。 一 跟目錄的build.gradle添加私有mevan倉庫 mave ......

    uj5u.com 2020-09-10 07:01:43 more
最新发布
  • 歡迎頁輪播影片

    如圖,引導開始,球從上落下,同時淡入文字,然后文字開始輪播,最后一頁時停止,點擊進入首頁。 在來看看效果圖。 重力球先不講,主要歡迎輪播簡單實作 首先新建一個類 TextTranslationXGuideView,用于影片展示 文本是類似的,最后會有個圖片箭頭影片,布局很簡單,就是一個 TextVi ......

    uj5u.com 2023-04-20 08:40:31 more
  • 【FAQ】關于華為推送服務因營銷訊息頻次管控導致服務通訊類訊息

    一. 問題描述 使用華為推送服務下發IM訊息時,下發訊息請求成功且code碼為80000000,但是手機總是收不到訊息; 在華為推送自助分析(Beta)平臺查看發現,訊息發送觸發了頻控。 二. 問題原因及背景 2023年1月05日起,華為推送服務對咨詢營銷類訊息做了單個設備每日推送數量上限管理,具體 ......

    uj5u.com 2023-04-20 08:40:11 more
  • 歡迎頁輪播影片

    如圖,引導開始,球從上落下,同時淡入文字,然后文字開始輪播,最后一頁時停止,點擊進入首頁。 在來看看效果圖。 重力球先不講,主要歡迎輪播簡單實作 首先新建一個類 TextTranslationXGuideView,用于影片展示 文本是類似的,最后會有個圖片箭頭影片,布局很簡單,就是一個 TextVi ......

    uj5u.com 2023-04-20 08:39:36 more
  • 【FAQ】關于華為推送服務因營銷訊息頻次管控導致服務通訊類訊息

    一. 問題描述 使用華為推送服務下發IM訊息時,下發訊息請求成功且code碼為80000000,但是手機總是收不到訊息; 在華為推送自助分析(Beta)平臺查看發現,訊息發送觸發了頻控。 二. 問題原因及背景 2023年1月05日起,華為推送服務對咨詢營銷類訊息做了單個設備每日推送數量上限管理,具體 ......

    uj5u.com 2023-04-20 08:39:13 more
  • iOS從UI記憶體地址到讀取成員變數(oc/swift)

    開發除錯時,我們發現bug時常首先是從UI顯示發現例外,下一步才會去定位UI相關連的資料的。XCode有給我們提供一系列debug工具,但是很多人可能還沒有形成一套穩定的除錯流程,因此本文嘗試解決這個問題,順便提出一個暴論:UI顯示例外問題只需要兩個步驟就能完成定位作業的80%: 定位例外 UI 組 ......

    uj5u.com 2023-04-19 09:16:23 more
  • FIDE重磅更新!性能飛躍!體驗有禮!

    FIDE 開發者工具重構升級啦!實作500%性能提升,誠邀體驗! 一直以來不少開發者朋友在社區反饋,在使用 FIDE 工具的程序中,時常會遇到諸如加載不及時、代碼預覽/渲染性能不如意的情況,十分影響開發體驗。 作為技術團隊,我們深知一件趁手的開發工具對開發者的重要性,因此,在2023年開年,FinC ......

    uj5u.com 2023-04-19 09:16:15 more
  • 游戲內嵌社區服務開放,助力開發者提升玩家互動與留存

    華為 HMS Core 游戲內嵌社區服務提供快速訪問華為游戲中心論壇能力,支持玩家直接在游戲內瀏覽帖子和交流互動,助力開發者擴展內容生產和觸達的場景。 一、為什么要游戲內嵌社區? 二、游戲內嵌社區的典型使用場景 1、游戲內打開論壇 您可以在游戲內繪制論壇入口,為玩家提供沉浸式發帖、瀏覽、點贊、回帖、 ......

    uj5u.com 2023-04-19 09:15:46 more
  • iOS從UI記憶體地址到讀取成員變數(oc/swift)

    開發除錯時,我們發現bug時常首先是從UI顯示發現例外,下一步才會去定位UI相關連的資料的。XCode有給我們提供一系列debug工具,但是很多人可能還沒有形成一套穩定的除錯流程,因此本文嘗試解決這個問題,順便提出一個暴論:UI顯示例外問題只需要兩個步驟就能完成定位作業的80%: 定位例外 UI 組 ......

    uj5u.com 2023-04-19 09:14:53 more
  • FIDE重磅更新!性能飛躍!體驗有禮!

    FIDE 開發者工具重構升級啦!實作500%性能提升,誠邀體驗! 一直以來不少開發者朋友在社區反饋,在使用 FIDE 工具的程序中,時常會遇到諸如加載不及時、代碼預覽/渲染性能不如意的情況,十分影響開發體驗。 作為技術團隊,我們深知一件趁手的開發工具對開發者的重要性,因此,在2023年開年,FinC ......

    uj5u.com 2023-04-19 09:14:08 more
  • 游戲內嵌社區服務開放,助力開發者提升玩家互動與留存

    華為 HMS Core 游戲內嵌社區服務提供快速訪問華為游戲中心論壇能力,支持玩家直接在游戲內瀏覽帖子和交流互動,助力開發者擴展內容生產和觸達的場景。 一、為什么要游戲內嵌社區? 二、游戲內嵌社區的典型使用場景 1、游戲內打開論壇 您可以在游戲內繪制論壇入口,為玩家提供沉浸式發帖、瀏覽、點贊、回帖、 ......

    uj5u.com 2023-04-19 09:08:34 more