[haskell]Найти функцию по типу.

ключевые слова - hoogle (http://www.haskell.org/hoogle/) и hayoo (http://holumbus.fh-wedel.de/hayoo/hayoo.html)

да, если пользуешься haskell-mode в емакс, то оно умеет сразу оттуда делать поиск

Спасибо большое, то что надо.

Вопрос решен? Можно тогда и пару отвлеченных вопросов по топику.

Каким образом в хацкиле выполняется хвостовой вызов? В каких случаях вызов будет хвостовым, а в каких — нет?

Двачую вопрос.

Учитывая что всё ленивое, как происходит выполнение?

Учитывая что всё ленивое, как происходит выполнение?

Не всё. Паттерн-матчинг не ленивый (по умолчанию). Вот там-то редукции и происходят.

в RWH вроде говорится упоминалось, что паттерн с аккумулирующим параметром применять не нужно из-за ленивости.

он просто лишний, или даже мешает?

Ни фига не понял в вопросе. Начать уже с того, что я из RWH читал несколько глав, и не знаю, о каком месте ты говоришь.

Похоже, что он о шаблоне проектирования: хвостовой вызов + аккумулятор через который передается состояние.

А с помощью Hoogle можно делать подсказки для незаконченных выражений? Скажем, сделать REPL и выдавать тип для частично введенного выражения + подсказку, что можно вводить с учетом этого типа дальше.

Вообще, можно соорудить для Хаскеля REPL, подобный лисповому, и сделать инструмент, аналогичный SLIME?

nop

> А с помощью Hoogle можно делать подсказки для незаконченных выражений?

Если я тебя правильно понял, то в haskell-mode это есть.

Вообще, можно соорудить для Хаскеля REPL, подобный лисповому

ghci що-то умеет.

Почитал про haskell-mode. Насколько я понял, inferior-haskell умеет определять расшифровки типов для алгебраических типов, функций и т.д. А мне хочется, чтобы пользователь мог ввести, к примеру, «map (\(x, y) -> x)» и появится подсказка, что дальше он может указать только список пар. Т.е. нужно определить тип незаконченного выражения.

А у какого-нибудь транслятора Хаскеля нет программного интерфейса к своим внутренностям? Захотелось заиспользовать его для работы с некоторыми типизированными внешними данными (например, в БД) так, чтобы пользователь не мог складывать яблоки с грушами и видел всякие подсказки на эту тему при вводе команд.

нужно определить тип незаконченного выражения

а каким местом оно незаконченное?

Prelude> :t map (\(x, y) -> x)
map (\(x, y) -> x) :: [(t, t1)] -> [t]

А у какого-нибудь транслятора Хаскеля нет программного интерфейса к своим внутренностям?

какого рода интерфейс тебя интересует?

Согласен, насчет незаконченности я погорячился. Но можно придумать и другой пример, скажем: [code] fun (x, y) = x + y

fun (5, ? [/code] вот предположим, что пользователь ввел что-то такое и курсор у него стоит вместо знака вопроса. Нужно выдать подсказку, чего он может вводить дальше, т.е. не только определить тип fun, но и выделить тип y.

Интерфейс интересует такой, чтобы можно было передавать транслятору законченные или нет выражения, а он бы их обрабатывал, выдавал их тип и, в случае законченности, присоединял бы их к образу программы. Ну и позволял сохранять/загружать образ. В общем, хочется CL с синтаксисом и системой типов Хаскеля. Цель - DSL для задач, неплохо описывающихся в терминах операций над множествами, строками, простейших математических и некоторых других, предназначенный для использования в режиме REPL.

можно придумать и другой пример

а смысл? чем это существенно лучше проверки типа выражения отдельным вызовом :t?

выделить тип y

что-то такое, что ли:

Prelude> let f x y = x + y
Prelude> :t f 5
f 5 :: (Num t) => t -> t
Prelude> :t f 5.0
f 5.0 :: (Fractional t) => t -> t

если программист не понимает сам, с каким выражением он работает, толку ему от такой подсказки «по месту» будет ноль

Интерфейс интересует такой

посмотри на UHC (uu.nl), у него с выворачиванием кишок компилятора наружу проще всего. но вообще ты хочешь странного

В общем, хочется CL с синтаксисом и системой типов Хаскеля

так не бывает. лучшее существеющее приближение - Qi (lambdassociates.org)

Смысл в том, что то, чего я хочу, предназначается не для программистов. И это не полноценный язык программирования, а язык описания действий над данными.

Плюс, при получении информации о типе того, что можно вводить в данный момент, можно предоставлять пользователю иные средства ввода, нежели текстовый (например, как в CLIM позволять щелкать по отображению объекта соответствующего типа).

В предыдущем сообщении у меня пример криво отобразился, повторяю:

fun (x, y) = x + y

fun (5, ?

Думается, зря я Хаскель пытаюсь сюда припахать, для данной задачи он явно избыточен. Вполне можно этот DSL реализовать самостоятельно, самым сложным, наверное, будет вывод типов.

про хвостовую рекурсию в хаскеле мне так никто и не ответил.

Если ты читал RWH, то там все написано. При таком подходе (хвостовой вызов + аккумулятор) в общем случае создается много thunk'ов в памяти, что не есть путь хаскеля. В общем, прием плохо годится для ленивого языка. Хвостовая рекурсия сама по себе используется. Твой вопрос был в этом?

я из книги не понял, как происходит оптимизация без использования аккумулятора. мой вопрос заключается в том, есть ли случаи, когда в хаскелле нужно применять аккумулятор.

про хвостовую рекурсию в хаскеле мне так никто и не ответил

лично я твоего вопроса как не понимал, так и до сих пор не понимаю. кроме того, что ты путаешь язык и его реализацию (имеешь в виду, вероятно, GHC, но надеешься на телепатов) и не желаешь потратить 10 минут времени на ручную проверку профайлером, ты ещё и крайне сумбурно выражаешь свои мысли

Да, есть. По-моему reverse написан в таком стиле.

я понимаю, что оптимизация зависит от реализации. но в данном случае реализация не важна. я просто удивился, каким образом ленивость спасает от роста потребляемой памяти, при расчете рекурсивной задачи, которая при использовании аккумулятора, могла бы развернутся в цикл.

вот ты как пишешь? с аккумуляторам или без?

в строгих ф-х языках, независимо от реализации, принято использовать аккумулятор.

> в строгих ф-х языках, независимо от реализации, принято использовать аккумулятор.

а хаскелл уже не строгий?

вот ты как пишешь?

с помощью бананов, линз и колючей проволоки. явно рекурсию не приходится писать почти никогда

ленивый

не приходится писать рекурсию явно? значит я не умею готовить хаскель. посоветуй книгу, где учат писать на хаскеле. а то я книги по написанию программ на других ф-х языках, и там рекурсия использовалась часто.

посоветуй книгу

книгу не могу, могу статей:

www.cs.nott.ac.uk/~gmh/fold.pdf

https://wiki.ittc.ku.edu/lambda/Image:Meijer_Functional_Programming_with_Bananas,_Lenses,_Envelopes,_and_Barbed_Wire.pdf

первая ссылка корявая вышла:

http://www.cs.nott.ac.uk/~gmh/fold.pdf

и вот ещё:

http://research.microsoft.com/en-us/um/people/emeijer/papers/mmffp.pdf

а, теперь понял о чем ты. действительно, свертка - это первое, чего мне не хватает при работе с не функциональными языками.