Kirill
чот телеграм фмапы при цитировании твита сожрал
Сергей
Sergey Ivanov (1) увеличил репутацию λeonid Onokhov (1)
Marat
/stat@combot
combot.org/c/-1001043143583
Зигохистоморфный
😂
A64m
я вчера не тем компилятором собирал, как оказалось, заметил сейчас когда решил с ORF сравнить, а ORF-то не компилируется, потому что 8.0.2
A64m
> Binary sizes are on the order of 100M, which is clearly absurd.
A64m
(новости компиляции хаскеля в вебасембли)
A64m
ну и комитетчики приняли https://github.com/ghc-proposals/ghc-proposals/pull/126
Зигохистоморфный
линзовопрос
как (a ^. lens1, a ^. lens2, a ^. lens3)
записать через someOperation a (lens1, lens2, lens3)?
someOperation должен как-то делать это
A64m
геттеры оборачиваются в какую-то обертку, для которой инстансы Applicative и Arrow есть, а дельше вроде понятно
Cheese
если только чтение, то вопрос сводится к обычным функциям
Зигохистоморфный
(~&~) = liftA2 (>=>)
(1, 'a', 2) & (_1 ~&~ _3) %~ (*3)
но это немного не то
Aleksei (astynax)
если только гетать, то аппликатив + несколько view
IC
скажите действующее на август 2018 заклинание чтобы собрать статический бинарь. по возможности без докера.
IC
от libc зависеть можно, от либ в где-то в хоме разработчика нет
Aleksei (astynax)
написать на go
Aleksei (astynax)
(прости)
Aleksei (astynax)
можно вроде линкеру сказать, что долинковать статически
Aleksei (astynax)
--ghc-options=-optl-Wl,--whole-archive --ghc-options=-optl/.../libffi.a --ghc-options=-optl-Wl,--no-whole-archive я как-то так делал (давным давно)
IC
долинковать то ладно.. оно даже сами пакеты не может собрать не убиваясь об -fPIC
IC
libHS....so - вот этот бы мусор убрать
IC
впрочем я согласен уже на заклинание чтобы переключить бинарь на относительные пути для либ
Aleksei (astynax)
Посмотри, как stack собирают
Влод
у меня в серванте есть 2 типа
query1 :<|> query2
и
query1 :<|> query2 :<|> query3
и я хотел сделать
type Api = ApiWithoutQuery3 :<|> query3
и всё ок до тех пор пока не начинаю описывать терм для Api
если записать с дублированием то всё ок, иначе говорит что не совпадают типы (и читать что там не совпадает сложновато
Влод
хотя казалось бы type ничего особо не вносит в тип
Влод
а хотя кажись доходит
он :<|> применяет к самому последнему типа из цепочки
arg 😆 arg2 😆 Post ...
Влод
хмм тики не помогли
Cheese
от libc зависеть можно, от либ в где-то в хоме разработчика нет
по умолчанию программа зависит только от
linux-vdso.so.1 (0x00007ffcbc74b000)
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f6045b6b000)
libtinfo.so.5 => /lib/x86_64-linux-gnu/libtinfo.so.5 (0x00007f6045941000)
libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007f60455b3000)
libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f6045396000)
libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f6045177000)
librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f6044f6f000)
libutil.so.1 => /lib/x86_64-linux-gnu/libutil.so.1 (0x00007f6044d6c000)
libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f6044b68000)
libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007f60448e7000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f60444f6000)
/lib64/ld-linux-x86-64.so.2 (0x00007f6045f09000)
libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007f60442de000)
этого недостаточно?
Leonid 🦇
а хотя кажись доходит
он :<|> применяет к самому последнему типа из цепочки
arg 😆 arg2 😆 Post ...
а что у :<|> с фиксити? Может скобок надо добавить?
Влод
всё решил (хотя как обычно до того как написал было сложно)
Влод
скобки бы там не помогли какая разница
type Api = ...
или
type Api = (...)
Cheese
libHS....so - вот этот бы мусор убрать
так его нет по умолчанию, если ты не скажешь явно -dynamic
Влод
а решилось такой уловкой
type Api = query3 :<|> ApiWithoutQuery3
Alexander
Влод
точнее type Api = (arg1 : > ...) :<|> ApiWithoutQuery3
Alexander
в cc-options
Зигохистоморфный
https://github.com/dotlang/language
Artem
Всем привет.
Какие production ready frameworks есть для PureScript?
Kirill Zaborsky (0) увеличил репутацию Зигохистоморфный Препроморфизм (1)
Aleksei (astynax)
у пурскрипта свой чат есть. Думается, там лучше прашивать про такое :)
a66ath
Haskell юзают в Tesla
Artem
А в какой продукции?
Dana
https://www.reddit.com/r/haskell/comments/84r1dp/summer_2018_internship_opportunity_with_tesla_inc/
Dana
но может где ещё
Cheese
• Medium-scale data processing.
• UI/GUI/TUI development.
• Static site generation
• CAN network optimization
• Manufacturing optimization
• C code generation
• Vector graphics
Cheese
мощно
Alex
А что это за магическое число в условии?
has written a 1000+ line program in Haskell
Alex
У меня примерно такой же вопрос недавно задали
Alex
на собесе
Cheese
видимо, это условный размер примера из учебника
Cheese
то есть писал ли ты что-то своё и нетривиальное
Евгений
1000 слок на сабже это немало же
Alex
Странный критерий просто. Пустые строки считаются?
Евгений
Ну я думаю он условный
Евгений
Что ты не main = print "Hello" написал
Anonymous
Прога на 100 строк, остальное - тесты ☺️
A64m
не видел такого хаскельного кода
Anonymous
На 1000 строк?
A64m
на 900 строк тестов на 100 строк кода
Timofey
прогнал cloc на одном игрушечном хаскелльном проекте, он у меня там лисповые файлы где-то нашёл, мне аж любопытно стало
Timofey
хотя find . -name "*.lisp" ничего не видит=)
A64m
el, lisp, lsp, sc
A64m
про cl он opencl наверное думает
Timofey
ага
A64m
видимо -v выхлоп ghc задумывался так, чтоб можно было по префиксу строки находить те, где результат измерения времени, но преттипринтер некоторые такие строки вытягивает по вертикали, так что результат со временем и аллокациями оказывается в другой строке. отличная работа, короче говоря
Влод
а в чём минусы от UndecidableInstances?
Влод
не просто же так оно по умолчанию отключено
Alexander
ни в чем
A64m
ох, ну что по умолчанию не отключано-то?
Alexander
а в чём минусы от UndecidableInstances?
В синтаксисе подключения расширения. Их там целых два.
<Петросян мод офф>
Alexander
по умолчанию отключено все что не похоже на древний стандарт
A64m
не совсем