Ghci交互式命令行的一些提高效率的用法

  這裏記錄了幾個使用ghci交互界面的時候,可以提高效率的知識點,可以學習一下: 1)用Tab來實現輸入的快速補齊 在鍵入命令的時候,在輸入部分函數名稱後,可以使用tab鍵,來自動補齊,或者給出相識函數名稱的提示。就如同在Linux的shell命令行中一樣的效果。 2)利用.ghci實現命令的批處理 ghci後綴文件,使用來將ghci的交互命令寫入的一個文件中,後續可以一次性導入的解決方案。 如
相關文章
相關標籤/搜索