Alexander
кстати, вот это меня там немного бесит
Serghei
🙈
Alexander
если был merge директорий при монтировании в ядре, было бы проще жить
Alexander
хотя щас же уже что-то умеет?
Alexander
по поводу инклудов:
GCC может очень долго ходить по include только если ищет подключаемый файл — пути просматриваются в порядке, заданном в командной строке
Если, грубо говоря, все нужные файлы живут в /usr/include, то хоть тысячу путей добавь…
Что может влиять - -Wmissing-include-dirs
Если опция задана, то gcc будет проверять существование путей
Ну вот если у тебя куча зависимостей - то как раз инклюды и не живут в /usr/include. У нас там было почти все зависимостями - glib, clutter, ffmpeg, x.265. Штук 30 минимум.
Не конец света
Dan
у меня хватило ума... рассказать про то, что фп в тренде и в моде. и что сейчас все подражают фп.
Dan
но где сказать? конечно же в чате c# 😂
Alexander
а есть общий чат про c# в телеге?)
Andrey
у них Линк уже 1000 лет подражает ФП - вроде не должно быть откровением
Dan
есть конечно. лень искать, в списке на гитхабе точно есть. github.com/goq/telegram-list
Igor
но где сказать? конечно же в чате c# 😂
да да и народ не оценил, но f# старается продвигать
Warren
MS кстати вообще мне казался конторой которая очень продвигает ФП
Warren
MS Research там
Warren
Эрик Мейер
Warren
F#
Alexander
ну так и SPJ вообще-то :)
Warren
каюсь
Евгений
Я где-то слышал, что SPJ выпиздили из M$
Max
не оправдал надежд?
Anonymous
да фейк скорее всего
Anonymous
похоже просто на очередную шутеечку на тему что хачкиль нинужен
Alexander
MS Research не совсем MS
Alexander
судя по линкедыну саймона он все ещё в ms reasearch, и я думаю я бы слышал если бы он там перестал быть
Alexander
а разве нельзя?
Alexander
в общем-то все барахло
Alexander
даже haskell
Igor
мультипарадигменен, такого барахла и так навалом
но он function-first, там есть автокаррирование, вывод типов, юнионы/рекорды, паттерн матчинг
ооп там лишь для интерропа, но с ним я легко могу писать real-world приложения (desktop-UI/web/mobile)
Влод
мне он не нравится , но я думал что это непопулярное мнение.
всё такие всякие coq и прочие компилятся в ocaml.
Влод
Влод
не, ну которые как data
Влод
ну и c# классов тоже для консистентности
Igor
не, ну которые как data
C# можно, а насчет "data" не знаю, мне это делать не приходилось и я так глубок не копал.
Можешь спросить в @Fsharp_chat (только без тролло, а то быстро кикнут)
Влод
http://www.tryfsharp.org
крутой дизайн
http://www.tryfsharp.org/Create Your system does not support the execution of F# code in the browser.
и нужно установить сильверлайт.
Влод
ладно https://ideone.com поможет
Влод
https://ideone.com/i2Llhx
Влод
ну неплохо. лучше чем окамл. когда писал просто map он жаловался, что не может построить конструктор. Хотя нет, это я всё таки плохо прочитал.
Забавно то что в качестве принта везде рекомендуют c-like printfn "%A"
от окамла похоже также остались перечисление в списке через ; и завершение стейтмента через ;;
Vasiliy
f# уже в прошлом, сейчас в тренде https://www.fstar-lang.org/
Влод
о вот это топ
Влод
ну я достаточно тупой чтобы отличать его от идрис и прочих, но по ощуениям это совсем андеграунд (никто не обсуждает) и при этом у него неплохой туториал
Vasiliy
я, честно говоря, вообще не шарю
Vasiliy
подозреваю, что f* и f# - как idris и haskell
Vasiliy
в чятике, где я параллельно тусуюсь, сидят .net-кодеры под венду, у них f* довольно частая тема
Vasiliy
вот унылый тред со сравнением f* и idris: https://www.reddit.com/r/Idris/comments/5ijh6k/f_comparison/
Alexander
Vasiliy
да то в жаббере, я олдфаг
Donat
Интересно, кто-нибудь пользует hledger?
Anonymous
f* выглядит интересно!
Vasiliy
интересней, чем idris? реквестирую, как говорится, коментов!
Eugène Zlatko
ребят, кто подскажет каким чудо образом написать свой дефрагментатор
Eugène Zlatko
и на чём)
Eugène Zlatko
первый раз с такой задачей столкнулся
Max
на C, в виде драйвера файловой системы
Eugène Zlatko
Драйвера файловой системы типа команды для API ntfs?
Max
а там из коробки разве нет дефрагментатора?
Eugène Zlatko
Где ?
Alexander
здравствуйте это канал об аниме?
Alexander
tar c | tar x не подойдёт?
Misha
кстати об аниме
вот есть у меня
data Indexes (ixs :: [*]) (v :: *) where
Nil :: Indexes '[] v
(:+:) :: GenIdx ix v -> Indexes ixs v -> Indexes (ix ': ixs) v
Ну то есть такой дураковатый типовый моноид. И мне надо из списка '[ix_1, ... ix_N] найти GenIdx ix у которого ix один из списка типов. То есть такой типовый filter. Это как вообще делается? Привлекать библиотеки не хочется совершенно.
Misha
точнее find, он там должен быть один
Alexander
щас зопилим
Alexander
хотя https://ruhaskell.org/posts/typesystem/2015/01/30/relational-algebra.html там проекция
꧁Александр
Доброго времени суток, посоветуйте докладчиков по Haskell на DevConf'17 https://devconf.ru/ru/offers
Anatolii
Доброе
Anatolii
загляните лучше в gitter чатик ruhaskell
Anatolii
https://gitter.im/ruHaskell/meetup
Anatolii
^ @confguru
Alexander
@confguru а какие темы примерно интересны? просто докладчиков достаточно много, тут на канале поменьше.
Dmitry
хаскиль в продакшоне! препарация какого-нибудь проекта
Anatolii
@confguru - нидавно @voidlizard выступал, можно его тут спросить
Dmitry
эмуляция FAT
Dmitry
(мегафон)
Dmitry
машинное обучение, DPI intelliqos - Zyxel
Dmitry
интересно кому?
Alexander
он уже ответил тут (Dmitry Zuikiov)