Вопрос использования GHCI

StackOverflow https://stackoverflow.com/questions/3797240

  •  05-10-2019
  •  | 
  •  

Вопрос

Я изучаю Haskell и использую EMACS + Haskell Mode в качестве моего редактора.

После воспроизведения нескольких простых выражений в GHCI мне интересно, существуют ли эти функции IDE / Editor, которые существуют в Visual Stuido для F #:

  1. Могу ли я отправить контент в буфер обмена в переводчик? В настоящее время я могу только: загрузить файл в интерпретатор. Это незначительно, когда я постепенно пишу функции в файле сценария. Как «Alt + Enter» в Visual Stuido.

  2. После компиляции я надеюсь увидеть подпись функции, например

    Пусть двойной x = x + x

Так что я могу лучше понять механизм выводов типа в Haskell.

Это было полезно?

Решение

  1. На окнах, есть Winghci., графический интерфейс, включая (плохой, но часто достаточно) поддержки для копирования и пасты. Данно о версии командной строки.

  2. Использовать :type double (или ярлык :t double) получить тип подписи double. Отказ Есть также :info который применяется к значениям (включая функции), а также типы и типеэкласс (например, :info Bool перечисляет определение Bool И все типовые опечатки это пример) и говорит, где он был определен.

Другие советы

Что касается вопроса 2, чтобы увидеть предполагаемый тип выражения каждый раз, когда вы вводите один, вы можете дать внутри GHCI: Set + T. Я думаю, что вы также можете поставить это в файле .ghci, внутри вашего домашнего каталога, как описано в http://www.haskell.org/ghc/docs/6.12.2/html/users_guide/ghci-dot-files.html. .

Насколько я знаю, нет поддержки для отправки щетинки на переводчик «из коробки», но не следует брать больше, чем пару строк ELISP. Я бы посмотрел в режимы поддержки для других языков и скопировал его оттуда, если бы я был вами.

Что касается типов, вы можете ввести CC CT или CC CI на любой символ в вашем коде, который будет вызван »:t <symbol>" а также ":i <symbol>«Команды в процессе GHCI

Проход утверждает, что отправлять выбранные выражения в VIM к GHCI (не пробовали его)

Я не уверен в функции подписи внутри редактора, но в GHCI его «: T Func»

На самом деле, глядя на их видео Youtube, похоже, что Taim может быть в состоянии выбрать «: T Func» в VIM и отправить его интерпретатору.

Лицензировано под: CC-BY-SA с атрибуция
Не связан с StackOverflow
scroll top