Dmitry
не скачивается. и не собирается
Dmitry
может, там надо какие-то батарейки поставить, что бы собиралось?
A64m
чего там собирать это же бинарь, причем по размеру судя статически слинкованный
Vadim
4.05.0 ocamlbuild olymp.native если сохранено в файле olymp.ml
Dmitry
нормально его скорчило: SANITIZE: a total of 5 files that should probably not be in your source tree has been found. A script shell file "/home/dmz/tmp/bsfuck/_build/sanitize.sh" is being created. Check this script and run it to remove unwanted files or use other options (such as defining hygiene exceptions or using the -no-hygiene option). IMPORTANT: I cannot work with leftover compiled files. ERROR: Leftover object files: File Main.o in . has suffix .o
Vadim
>OCaml >Sys >0.004s >haskell >sys >0.340s
да, я заметил - несколько раз повторяю - результат примерно тот же - хаскель в районе 300мс, окамл - 10мс
Dmitry
Error: Unbound value String.split_on_char
Denis
а расскажите в каких ситуациях вы используете fixed-vector-hetero?
A64m
@nightblues а хаскель какой, который v-stream?
Denis
мне как-то никогда в голову не приходит что он нужен, может я не просто не понимаю в каких ситуациях его использовать
Alexander
там почти все fast-builder
Vadim
который fast-builder
я так понял он самый быстрый
A64m
@catamorphism использовал fixed-vector-hetero в форумном споре с плюсовиком
Alexander
@catamorphism когда нужно в чятике написать о нём
Dmitry
они оба фастбилдер
Dmitry
быстрый - v-stream
A64m
@nightblues там не один с фастбилдером вариант
Denis
как-то вы уклончиво отвечаете!
Vadim
@nightblues там не один с фастбилдером вариант
{-# Language OverloadedStrings #-} {-# OPTIONS_GHC -fno-warn-incomplete-patterns #-} module Main where import qualified Data.ByteString.Char8 as BS8 import qualified Data.ByteString.Lazy as BSL import qualified Data.ByteString.FastBuilder as Builder import Data.ByteString.Char8 (ByteString) import Data.Monoid ((<>)) import qualified Data.Vector as V import GHC.Exts import System.IO main :: IO () main = do ws <- BS8.lines <$> BS8.getContents let s = V.map (\v -> case BS8.words v of (a:_) -> a) $ V.fromList ws BSL.hPutStr stdout $ Builder.toLazyByteStringWith 110000 110000 $ foldMap (\suff -> V.foldr (\pref nx -> Builder.byteString suff <> Builder.byteString pref <> Builder.char8 '\n' <> nx) mempty (mkP ws)) s {-# NOINLINE mkP #-} mkP = V.map (\v -> case BS8.words v of (_:b:_) -> b) . V.fromList
A64m
если надо, например свертку по туплам написать
A64m
@nightblues да, нормальный
Alexander
как-то вы уклончиво отвечаете!
в продакшене не юзал
A64m
а сбилдили с O2 ?
Denis
в продакшене не юзал
ты его частенько поминал, я думал он во всех продакшенах!
Vadim
а сбилдили с O2 ?
эээ, я без оптимизаций все собирал - stack build и ocamlbuild olymp.native
Denis
ясно
Alexander
ну он решает задачи где я его упоминал
A64m
@nightblues это не без оптимизаций, это -O, но лучше с O2
Alexander
хм.. stack build умеет собирать отдельные файлики?
Denis
Я вот и спрашиваю какие задачи решает, а то название примелькалось, а интуиции на эту тему нет.
Denis
stack build нет, а stack exec -- ghc умеет
Alexander
а как тогда стекбилдом собирали
Denis
можно подсмотреть команду в stack build --verbose
A64m
вообще умеет, но не stack build емнип, а просто stack file.hs
Denis
ну может опакетили
Denis
про stack file.hs впервые слышу
A64m
только там надо в комментарии список пакетов описать в начала файла
Alexander
а было да
Alexander
типа чтобы в шеле #!/usr/bin/stack делать
Alexander
/stat@combot
Combot
combot.org/chat/-1001043143583
A64m
вроде такого комментария в начале -- stack --install-ghc --resolver=lts-8.11 runghc --package turtle
A64m
но с runghc он егое и запустит еще
Dmitry
в окамле точно какой-нибудь import не пропущен?
Dmitry
split_on_char
Dmitry
откуда берется?
Dmitry
видимо, нет
Dmitry
значит, нужен окамл какой-нить более новой версии, где оно по-умолчанию?
A64m
так там квалифицировано String. же
Dmitry
да, вижу
A64m
другое дело что раньше может не было
Dmitry
ладно, как ваш окамл новый ставить opam-ом?
Кабачок
Это если использовать унарные (!) натуральные числа и прочие вещи, про которые легко доказывать теоремы 🙂
Jfyi унарные числа в идрисе мапятся на либгмпшные и работают достаточно быстро.
Dmitry
потянул что-то там...
Dmitry
вероятно, ЗАЙМЕТ
Dmitry
меркуриал, боже
Dmitry
он жив еще, что ли
Anatolii
я такой активности в этом канале вообще не помню
Dmitry
мастерство наброса
Dmitry
хаскел медленнее питона 1111
Dmitry
это всегда работало
A64m
так это теперь канал про то как на си писать в дев нулл
A64m
конечно, есть о чем поговорить
Dmitry
не, ну на окамле еще
Dmitry
но ведь весело же
Dmitry
скрашивает серые будни пиления на серванте
Dmitry
или оборачивания чужих типов в такие типы, где нормальные ToJSON
Dmitry
а то хрен ли - спросишь про транзиент, а его никто не.
Dmitry
и четые человека в мире используют - автор, и трое у нас
Dmitry
збс.
Dmitry
а автор, небось, защитился и забил, как обычно
Dmitry
ocaml
Dmitry
1) md5sum fail
Dmitry
2) файл сильно больше, чем должен быть