когда я изучал C, у меня на планшете стоял TCC, например

удобно

так что надо привыкать к реальности, в которой есть пока только ghc

ок, это не суть

ghc можно портировать?

"пока"? )

ну uhc вроде официальн не закрывали

или закрыли? давно не заходил

вроде ничего не намечается даже хотя если purescript будет уметь в нативный код...

но это фантастика все конечно

две недели назад коммиты. еще держатся, не сдались

pure это же не хаскел

ну близок к нему история с рекордами там лучше хаскеля

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

purescript я бы может смог спортировать, хотя бы c C-бэкендом.

но по моему там нет никакой спецификации

да, спеки четкой вроде не было

забавно, как одно предложение в скобках может направить разговор совсем в другое русло ?

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

кстати, ios это ж бсд + arm ?

в таком окружении пускали ghc и и кажется, даже ghci

кстати, ios это ж бсд + arm ?

угу

но там всякие джейлбрейки и вот это всё, в общем, нешуточная задача.

нене, джейлы это ад должно работать без них

из стора )

вопрос кому про линзы? если мне, то есть немного, да

но терпимо

к тебе, да

какие джейлбрейки, вы о чём

и линзы в продакшене, куда ж без них

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

тут прод у тебя да у александра

сейчас на телефонах по 3 гигабайта, можно хоть виртуалку с полноценным линуксом (с ghc) запустить, и туда интерфейс пробросить

да, это будет тормозить по сравнению с нормальной реализацией, но раз никакой нет...

а не проще я не знаю - ноутбук купить?

ну так, в порядке идеи

кстати, VirtualBox в google play находится

я даже не знаю как вы на планшетах программируете - на экранной клавиатуре?

не, ну я на военной кафедре в ЦВК-5М программы вводил тумблерными регистрами

но мне кажется с тех пор прогресс должен был шагнуть вперед

я даже не знаю как вы на планшетах программируете - на экранной клавиатуре?

Подключают внешнюю мышь и клаву.

а не проще я не знаю - ноутбук купить?

проще чем что?:)

ноутбуки сейчас у всех есть, не об этом речь

чем ждать, пока какой-то вася в эппл стор ghc положит (никогда)

я говорил про сравнение телеграм-бота и полноценного приложения

ну телеграм-бота можно прямо завтра написать, наверное быстрее, чем мы этот вопрос обсуждаем

правда непонятно зачем

правда непонятно зачем

если ноутбук уже изобрели, да

это мы поняли

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

да, телеграм-бот это шляпа

а насчёт планшетов - сейчас у многих планшеты с чехлом-клавиатурой

почти что ноутбук и есть

@voidlizard ты просто наверное не понимаешь какая тут "работа" у людей происходит это у тебя там веб-сервис опердень и генерация сишечки а тут народ выясняет какой тип у (.) (.) (.) и почему такой

для второго варианта телеграм бот -- годится ок

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

итак, решил я это дело доковырять с монетками разменными. на степике предпологается что для для монеты 7 и номилов 2, 3, 7 должен быть ответ [[2,2,3],[2,3,2],[3,2,2],[7]] что не до конца приминимо в жизни. хотя я конечно решил потом я подумал что не плохо бы показать только уникальные варианты. 223 и 322 не уникальны у меня получилось import Data.List calc :: Int -> [Int] -> [[Int]] calc 0 _ = [[]] calc _ [] = [[]] calc amount coins = nub $ map sort [c:cs | c <- coins, amount >= c, cs <- calc (amount - c) coins] догадываюсь что из-за моего опыта я написал лапшекод :) но вопрос в другом, если я хочу получить ответ на вопрос "сколько всего вариантов", то после переделки в import Data.List calc :: Int -> [Int] -> Int calc 0 _ = 0 calc _ [] = calc amount coins = length $ nub $ map sort [c:cs | c <- coins, amount >= c, cs <- calc (amount - c) coins] я получаю • Couldn't match expected type ‘[[Int]]’ with actual type ‘Int’ • In the expression: calc (amount - c) coins In a stmt of a list comprehension: cs <- calc (amount - c) coins In the second argument of ‘map’, namely ‘[c : cs | c <- coins, amount >= c, cs <- calc (amount - c) coins]’

я не уловил суть? :(

> calc _ [] = calc _ [] = 0

да, понял где ошибся ?

итак, решил я это дело доковырять с монетками разменными. на степике предпологается что для для монеты 7 и номилов 2, 3, 7 должен быть ответ [[2,2,3],[2,3,2],[3,2,2],[7]] что не до конца приминимо в жизни. хотя я конечно решил потом я подумал что не плохо бы показать только уникальные варианты. 223 и 322 не уникальны у меня получилось import Data.List calc :: Int -> [Int] -> [[Int]] calc 0 _ = [[]] calc _ [] = [[]] calc amount coins = nub $ map sort [c:cs | c <- coins, amount >= c, cs <- calc (amount - c) coins] догадываюсь что из-за моего опыта я написал лапшекод :) но вопрос в другом, если я хочу получить ответ на вопрос "сколько всего вариантов", то после переделки в import Data.List calc :: Int -> [Int] -> Int calc 0 _ = 0 calc _ [] = calc amount coins = length $ nub $ map sort [c:cs | c <- coins, amount >= c, cs <- calc (amount - c) coins] я получаю • Couldn't match expected type ‘[[Int]]’ with actual type ‘Int’ • In the expression: calc (amount - c) coins In a stmt of a list comprehension: cs <- calc (amount - c) coins In the second argument of ‘map’, namely ‘[c : cs | c <- coins, amount >= c, cs <- calc (amount - c) coins]’

nub, sort и прочие пряники в таких чисто "олимпиадных" задачах не применяют. Постараюсь объяснить. К sort стоит обращаться, если у тебя откуда-то уже есть список, и тебе надо его упорядочить (спасибо, кэп). А если ты сам конструируешь список "с нуля", то упорядоченность ответа просто должна быть зашита в алгоритм. Это будет и эффективнее, и красивее. Зачем сортировать элементы, если можно сразу расставлять правильно? Аналогично с nub. Если твой алгоритм выбрасывает кучу результатов, которые ты считаешь одинаковыми, то не нужно в конце фильтровать ответ nub-ом. Вместо этого переделай алгоритм так, чтобы одинаковые результаты не получались. Ну такая "гигиена" решения подобных задач приходит с опытом, вряд ли тут можно выделить какое-то общее правило...

Вот что у меня получилось

calc 0 _ = [[]] calc _ [] = [] calc amount (c:cs) = calc amount cs ++ if amount < c then [] else map (c:) $ calc (amount - c) (c:cs)

особо не тестил, но вроде работает

А вообще твоя задача похожа на классическую https://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D0%B7%D0%B1%D0%B8%D0%B5%D0%BD%D0%B8%D0%B5_%D1%87%D0%B8%D1%81%D0%BB%D0%B0

хм

любопытно

А вообще твоя задача похожа на классическую https://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D0%B7%D0%B1%D0%B8%D0%B5%D0%BD%D0%B8%D0%B5_%D1%87%D0%B8%D1%81%D0%BB%D0%B0

Классическая и есть, толь с модификацией. Где-то в загашниках у меня оставалось формула для неё с алгоритмом линейной сложности.

calc 0 _ = [[]] calc _ [] = [] calc amount (c:cs) = calc amount cs ++ if amount < c then [] else map (c:) $ calc (amount - c) (c:cs)

Здесь проблема при тестировании чисел больших 100 начнётся.

Может тест не пойти, если это олимпиада

ну я в ++ конечно тоже не уверен =)

нехорошая операция...

Но я тогда на эту формулу три дня убил.

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

ну и да, тут скидывали ссылку на степик- там похожая задача

та задача которую я решал это разбиение числа n на k слагаемых

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

смотрю я на свой старый код... повеситься хочется ?

nub, sort и прочие пряники в таких чисто "олимпиадных" задачах не применяют. Постараюсь объяснить. К sort стоит обращаться, если у тебя откуда-то уже есть список, и тебе надо его упорядочить (спасибо, кэп). А если ты сам конструируешь список "с нуля", то упорядоченность ответа просто должна быть зашита в алгоритм. Это будет и эффективнее, и красивее. Зачем сортировать элементы, если можно сразу расставлять правильно? Аналогично с nub. Если твой алгоритм выбрасывает кучу результатов, которые ты считаешь одинаковыми, то не нужно в конце фильтровать ответ nub-ом. Вместо этого переделай алгоритм так, чтобы одинаковые результаты не получались. Ну такая "гигиена" решения подобных задач приходит с опытом, вряд ли тут можно выделить какое-то общее правило...

полностью согласен

что скажете про хаскельбук? кстати не думаю что вы тратили 60$ :)

Я тратил, норм книга, автор мудак, но книга хорошая

Мне лень перечитывать 300 сообщений, если там что-то интересное или вопросы были - пните

Есть какая-нибудь обязательная к прочтению книга по теории типов?

обязательного нет ничего, а так - TAPL

Спасибо!

Есть какая-нибудь обязательная к прочтению книга по теории типов?

https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/

Есть какая-нибудь обязательная к прочтению книга по теории типов?

https://homotopytypetheory.org/book/ - 1 глава

Спасибо всем огромное

Вопрос к пользователям emacs-а (чистого гнушного, 24.5.1, без иксов). У меня в ghc-mod... как бы сказать... большая задержка между нажатием клавиши и ответом редактора. С чем может быть связано? Чинится ли? Отключение ghc-mod'а помогает.

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

Мне некуда возвращаться. Я поищу ещё решение, если найду, то напишу.

> гомотопическая теория типов. Конечно же это обязательная книга. Каждый хаскелист на зубок знает

> гомотопическая теория типов. Конечно же это обязательная книга. Каждый хаскелист на зубок знает

Там 1 глава совсем не про это.

@quetzal (сорри что оффтоп), а что get NEXT_DUP делает если значения закончились?

впрос снят

путать true и false плохо :(

https://wiki.haskell.org/Heterogenous_collections

вот кстати интересно спросить по поводу Hlist-ов в хаскелле - в скале в наиболее популярной реализации (http://jto.github.io/articles/getting-started-with-shapeless/), количество элементов в списке сильно аффектит время компиляции - а как тут ситуация?