Всем доброго дня

Я к вам тут с проблемой. Давно тащусь от хаскеля, но не было времени сесть и попрактиковаться в нем. Олимпиадные задачки и codewars уже поднадоели. Но как только попробовал прикрутить к своей программке одну си-библиотеку для графики, немедленно выяснилось, что GHC на дух не переносит struct, которые там и сям раскиданы по системным библиотекам Си. Как быть? При том, что графическую оболочку проги на Си хочется.

На месте parse error стоит именно сишная struct. Удалил для проверки место со структурой - он ругнулся на другую структуру в следующем файле

внезапно require уже умеет почти человеческие импорты: require Data.HashMap.Strict as HM (HashMap) превращает в import Data.HashMap.Strict (HashMap) import qualified Data.HashMap.Strict as HM

Там не в импортах дело. Мне нужно утащить несколько Си-функций для графики через FFI, но компилятор стопорится на каждой увиденной структуре, типа struct { int __val[2]; }. Parse error и все тут. При том, что другие сишные конструкции он парсит без проблем

А это я так написал, безотносительно проблемы с Си - на эту тему мне, увы, нечего сказать, т.к. сам я ничего сишного не оборачивал :(

А код, где у тебя ffi можешь показать? Возможно, проще будет сделать промежуточный c++-файл, который встраивается в hs, и который вызывает C-функции. Ещё можно посмотреть пакет inline-c. Ну и у нас главный спец по связям - @qnikst, его спроси. Я только завтра смогу помочь (с этой проблемой сталкивался, но нужно код посмотреть)

@unknown_no_3861 ^

@qnikst а можешь подсказать тикет в траке про пустые отчеты рантайма?

не уверен что он есть

А код, где у тебя ffi можешь показать? Возможно, проще будет сделать промежуточный c++-файл, который встраивается в hs, и который вызывает C-функции. Ещё можно посмотреть пакет inline-c. Ну и у нас главный спец по связям - @qnikst, его спроси. Я только завтра смогу помочь (с этой проблемой сталкивался, но нужно код посмотреть)

Первоначальный код (его там совсем мало было, обертка и все) я снес, полагая, что что-то напортачил, и попытался скомпилировать код с https://wiki.haskell.org/FFI_Introduction Единственное - заменил {-# INCLUDE #-} на #include с расширением CPP

Но ошибки при компиляции не поменялись совершенно

Та же Parse Error. ИЧСХ, в той же самой либе

Не, там не через include надо

Глянь inline-c пакет

Завтра подробнее смогу ответить. У меня сейчас ночь

не уверен что он есть

да короче оказалось что у меня гентупроблемы лол

Глянь inline-c пакет

Выглядит очень впечатляюще. Но при компиляции примера из ридми пакета ошибка сегментирования

Через кабал установился нормально

внезапно require уже умеет почти человеческие импорты: require Data.HashMap.Strict as HM (HashMap) превращает в import Data.HashMap.Strict (HashMap) import qualified Data.HashMap.Strict as HM

приколько, спасибо за инфу

У тебя убунта?

Хамелеон

Короче я не знаю что это такое, но тебе нужно поставить gnu ld...

или binutils-gold, емнип

Котаны, а что там с Intermediate Haskell

Половина 2018 уже прошла

Котаны, а что там с Intermediate Haskell

Что это

Книга

Книга

Перевод или от какого-то англоязычного автора?

Книга

Я просто Новичок в Haskell

Ни то ни другое

Ни то ни другое

А что тогда?

Англоязычная книга от русскоязычных авторов

Походу мертвая немношк

Англоязычная книга от русскоязычных авторов

Зачем на англ

На русском и так мало материала

Fuck my mind

Зачем тебе на русском?

Зачем тебе на русском?

Почему нет?

Мало же материала, сам говорил

Ну вот

Ну я на английском все читаю. Брат жив, зависимости нет

Парсер GHC это такая помойка, такой бардак, такой кошмар, уххх, никак не отойду.

Сейчас пришлось там рыться.

Лучше, конечно, я ничего предложить не могу, там просто всё плохо из-за ужасного синтаксиса Хаскеля. Например, ~ используется и для laziness annotations, и для equality constraints.

То есть проблема в большей мере в задаче, а не реализации. Парсить Хаскель - это смерть

Со всеми расширениями если

Кресты попарси

Пасер крестов это 1.15 мегабайт сишного кода

почти 40k строк

Да кресты нейронкой парсить надо

Обучить ее на куче кода, чтобы отличала >> в темплейтах от оператора

Подскажите, а есть какие-нибудь пакеты, чтобы запускать ghci (ну или вообще repl) в haskell-проекте? Чтобы смотреть состояния переменных и т.п.

а проект чем управляется? так, stack repl, например

Не, я имею ввиду, в запущенной программе

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

Ну типа ekg

Только для моих глобальных переменных.

Пока мы тут, в чятике, бесплатно советы друг другу даём, ребята уже вовсю это дело монетизируют: https://monadfix.io/

Пока мы тут, в чятике, бесплатно советы друг другу даём, ребята уже вовсю это дело монетизируют: https://monadfix.io/

Ну типа платная помощь работает эффективнее

Да и можешь присоединиться к ним

Брать по $100/mo за участие в этом чятике?

Подумаю над этим

или не брать ничего

Не, я имею ввиду, в запущенной программе

Запущенная программа уже скомпилирована, никакого REPL к ней не подключить - это вам не интерпретируемая кложура. Но можно запустить REPL, оттуда сделать forkIO main и, пока программа работает в фоне, тыкать в переменные (а они правда переменные? IORef/MVar/вот это всё?)

Пока мы тут, в чятике, бесплатно советы друг другу даём, ребята уже вовсю это дело монетизируют: https://monadfix.io/

это те же ребята, что и здесь

на канале 1/3 активны

Запущенная программа уже скомпилирована, никакого REPL к ней не подключить - это вам не интерпретируемая кложура. Но можно запустить REPL, оттуда сделать forkIO main и, пока программа работает в фоне, тыкать в переменные (а они правда переменные? IORef/MVar/вот это всё?)

а в чем принципиальная проблема написать функцию startReplWith :: IO ()?

В скомпиленой программе не встроен компилятор

или даже startReplWith a -> IO ()

так ты компилируешь ее сам с этой функцией, можно и компилятор встроиь

Для работы REPL нужен компилятор

через зависимости отладчика

Нельзя

компилятор чисто механически можно встроить, сложно объекты прокинуть

если я не ошибаюсь, в тот мже xmonad встроен комплиятор для чтения конфигов

не встроен

Внешний вызывается. Потом бинарник себя заменяет на новую копию

а, понял

Есть всякие интерпретаторы хаскеля, которые можно встраивать. Но это не полноценный GHC - поделки для обработки "скриптов на хаскеле"

ну если туда можно пробросить переменные - почему бы и нет?

Есть всякие интерпретаторы хаскеля, которые можно встраивать. Но это не полноценный GHC - поделки для обработки "скриптов на хаскеле"

но это же тоже может быть решением задачи отладочной консоли

Есть у меня сомнения, что из такого интерпретатора можно многое посмотреть. Только если какие рефы пробросить явно

а ещё можно наоборот — запускать ghci, а из него — программу. только будет тормозить

теоретически, ghci мог бы подключаться к работающему процессу как отладчик (gdb так умеет). нет у него такой функции?

Ну, в конце концов, можно ж объект (содержимое MVar) сериализовать и показывать его в localhost:5555 (к примеру) в какой-нить web-формочке. Ну и редактировать и десериализировать его обратно. Просто хотелось бы к этому "голому" редактированию добавить всякие Haskell-плюшки, то, что даёт ghci.

теоретически, ghci мог бы подключаться к работающему процессу как отладчик (gdb так умеет). нет у него такой функции?

Ну вот у меня смутное воспоминание, что пару месяцев назад тут прям готовое решение предлагалось. Потому и спрашиваю.

а ещё можно для gdb написать модули для отображения сырых данных в более близком к языку виде. для Питона такие есть, например

А разве не бывает ghci as library?

Иначе как эти вашт ide-приблуды работают?

ghc-mod