@haskellru
Alex02.07.2018
07:21:26
07:21:26
Может попробывать другую гуишную либу?
Google
Yuriy02.07.2018
07:22:00
07:22:00
попробуй
Yuriy02.07.2018
07:24:09
07:24:09
ну, не такой уж старый
Alex02.07.2018
07:24:47
07:24:47
У меня еще такой вопрос, тяжело ли haskell линковать в С++?
Он же компилится в бинарник
По идее должно быть норм
Yuriy02.07.2018
07:25:48
07:25:48
если кто-то за тебя не написал байндинг, то нелегко
в Хаскель встроен интерфейс вызова процедур из C, если из можешь экспортировать extern "C", дело сильно упрощается
GoogleKirill02.07.2018
07:28:25
07:28:25
плюс есть inline-c
Alex02.07.2018
07:28:28
07:28:28
Возможно мне не придется линковать хаскель в плюсы
Kirill02.07.2018
07:30:04
07:30:04
а, в другую сторону, тут inline-c мимо
Alex02.07.2018
07:30:35
07:30:35
Что это все такое?
Kirill02.07.2018
07:30:38
07:30:38
но онож inline в смысле для втыкания в хаскель
main :: IO ()
main = do
x <- [C.block| int {
// Read and sum 5 integers
int i, sum = 0, tmp;
for (i = 0; i < 5; i++) {
scanf("%d", &tmp);
sum += tmp;
}
return sum;
} |]
print x
Yuriy02.07.2018
07:31:31
07:31:31
Возможно мне не придется линковать хаскель в плюсы
у Хаскеля тоже есть экспорт в сишном формате, но там больше геморроя, потому что сишно-плюсплюсные сборщики более тупыеKirill02.07.2018
07:32:01
07:32:01
@al_bl выше пример - втыкаем сишку прям в хаскельные сырцы
Alex02.07.2018
07:35:37
07:35:37
Спасибо всем
Yurii02.07.2018
08:06:55
08:06:55
Новый лайф-коддинг от Едварда
https://youtu.be/StmmK1a1Bm0
Alex02.07.2018
08:33:30
08:33:30
Помогите пожалуйста
xs <- getArgs
str <- unsafePerformIO $ readFile $ (xs !! 0)
Где ошибка
Aleksey02.07.2018
08:34:36
08:34:36
Воу! Зачем unsafePerformIO?
Всё в IO же и так
xs <- getArgs
str <- readFile $ (xs !! 0)
Alex02.07.2018
08:35:05
08:35:05
У меня там дальше функция которая работает со стрингой а не ио стрингой
GoogleAleksey02.07.2018
08:35:22
08:35:22
str, это String
Aleksey02.07.2018
08:37:32
08:37:32
unsafePerformIO не нужно делать никогда! Кроме тех случаев, когда это действительно нужно (ну очень редко и практически всегда - на top level)
IC02.07.2018
08:38:12
08:38:12
LTS-12 будет с 8.4 или опять с 8.2?
Andrei02.07.2018
08:39:02
08:39:02
8.4 вроде
Kirill02.07.2018
08:44:38
08:44:38
Aleksey02.07.2018
08:46:13
08:46:13
top level, это
module Foo where
a :: Int
a = unsafePerformIO $ randomRIO (0, 10)
вот определение a - на top level находится
Aleksey02.07.2018
08:55:35
08:55:35
нет, в ghci можно делать байнд
В GHCi всё находится в неявном do-блоке монады IO
Но специфическом - объявлять типы можно, например
Yuriy02.07.2018
08:59:18
08:59:18
top level, это
module Foo where
a :: Int
a = unsafePerformIO $ randomRIO (0, 10)
вот ему сейчас это скорее помешает. не надо сразу все краевые случаи вываливатьAleksey02.07.2018
09:00:14
09:00:14
Тут любят советовать unsafePerformIO, вот от этого получаются подобные казусы
GoogleAleksey02.07.2018
09:01:03
09:01:03
вот ему сейчас это скорее помешает. не надо сразу все краевые случаи вываливать
Я лишь уточнил, где находится top-level :)Yuriy02.07.2018
09:01:27
09:01:27
Тут любят советовать unsafePerformIO, вот от этого получаются подобные казусы
общее правило — unsafe не нужен (если он тебе действительно нужен, ты не будешь спрашивать в чате)Aleksey02.07.2018
09:01:46
09:01:46
ага
Alex02.07.2018
09:03:10
09:03:10
Спасибо всем
Alister02.07.2018
09:04:07
09:04:07
общее правило — unsafe не нужен (если он тебе действительно нужен, ты не будешь спрашивать в чате)
если вы спрашиваете, нужно ли это вам - вам это не нужногде в описании технологии какой читал
Alexander02.07.2018
09:13:00
09:13:00
я не согласен с таким подходом, но ок
тут в канале любят говорить, что такая штука есть, но в этой задаче оно не нужно
и добавлять в какого рода задачах оно может быть нужно
Andrei02.07.2018
09:15:01
09:15:01
unsafePerformIO в недрах Network.Socket есть. но и там оно форсится.
AdminERROR: S client not available
Yuriy02.07.2018
09:17:49
09:17:49
и добавлять в какого рода задачах оно может быть нужно
если спрашивают про задачу А, немного странно отвечать, что задача Б решается инструментом ВAlexander02.07.2018
09:18:53
09:18:53
когда я последний раз говорил про unsafePerformIO , спрашивали про задачу, которая именно им и решается, например
другое дело, что человек хотел не то, что спрашивал
но мое дело сказать что задача скорее всего не верна, что должна быть та, и решается так, а спрошенное тоже имеет решение
я помню как у меня бобмило, когда я пришел на #haskell спросить про #-обьекты, и мне там хором стали доказывать, что оно мне не надо
учитывая, что именно это мне и было нужно
Kirill02.07.2018
09:24:29
09:24:29
а что такое "#-обьекты"?
Pineapple02.07.2018
09:25:31
09:25:31
OverloadedLabels?
Kirill02.07.2018
09:28:29
09:28:29
@qnikst ^
Google
A64m02.07.2018
09:40:28
09:40:28
у которых тип кайнда # видимо
Kirill02.07.2018
09:41:11
09:41:11
объекты ~ типы чтоль?
A64m02.07.2018
09:42:24
09:42:24
значения, населяющие типы
Kirill02.07.2018
09:45:12
09:45:12
а, значения, спсб
Leonid02.07.2018
09:52:36
09:52:36
что-то Тони совсем подпалило https://github.com/tonymorris/do-not-use-stack
Alister02.07.2018
09:57:28
09:57:28
лаконичность сестра таланта
Yuriy02.07.2018
10:20:29
10:20:29
политика одной хаскельной компании
Every programmer that uses unsafePerformIO without an accompanying proof will have to spend a night in the dungeon.
https://www.fpcastle.com/
Andrei02.07.2018
10:50:14
10:50:14
Alexander02.07.2018
11:00:34
11:00:34
Yuriy02.07.2018
11:01:36
11:01:36
Kaidax02.07.2018
11:08:19
11:08:19
Прямо сейчас удаляю стак
adam02.07.2018
11:11:18
11:11:18
Warren02.07.2018
11:13:22
11:13:22
может кто-нибудь подсказать хороший русский перевод для термина "equational reasoning"?
Yuriy02.07.2018
11:21:10
11:21:10
может кто-нибудь подсказать хороший русский перевод для термина "equational reasoning"?
https://github.com/ruHaskell/ruhaskell/wiki/Translation
Открыть в Telegram