а конкретнее

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

интересно есть ли красивое решение

ну поиграйся с hline

проблемы не вижу

или с правилами

\top/mid/bottomrule

\top/mid/bottomrule

с этим можно зацентрировать на всю ширину?

он думает что этот текст - часть самой левой колонки

с этим можно зацентрировать на всю ширину?

& ?

https://ghostbin.com/paste/omedm

Не видел, чтобы упоминали особо эту книгу, а книжка то очень не плохая:) http://anton-k.github.io/ru-haskell-book

Не видел, чтобы упоминали особо эту книгу, а книжка то очень не плохая:) http://anton-k.github.io/ru-haskell-book

Да упоминали. Топ книга скорей всего

ну все) можно писать https://habrahabr.ru/company/mailru/blog/339426/

чё там дженерики есть?

это го который парсится а потом генерит конкретные реализации функции?

Приветики. Я ищу в Serokell двух хороших haskell программистов на full time. Пишите мне в pm. Можно без опыта именно production haskell, но просто с хорошим опытом языка и другим продакшн прошлым.

Лайк

я правильно понимаю, что тестировать executable в stack нельзя? Потому что он как либа не поставляется, а значит и задепендиться от него нельзя

А зачем?

например чтобы тестировать в шаблоне simple

нельзя но если очень хочется то можно

у тебя к сборке тестов уже все в dist/build есть

@kana_sama ^

не, это что-то странное. Окей, дефолтный шаблон так дефолтный шаблон

почему?

или я не понял вопроса

добавить в зависимость executable only пакет?

тогда что значит тестировать

Ну, у меня есть секция executable somename-exe и test-suite somename-test. Первый ссылается на некую папку src, в котором есть несколько модулей, которые бы я хотел протестировать, но не могу поставить его в зависимость

а причём здесь stack?

это cabal

окей, да, это кабал, запускаю я его просто не напрямую, а через стак

вариантов, в общем-то, два

вытащить из экзекутабля библиотеку и тестировать её

ну собственно вопрос именно в том, возможно ли тестировать без вытаскивания в библиотеку. То есть реально ли писать на simple-шаблоне с тестами

либо в hs-source-dirs у теста добавить каталог с сырцами экзешника, тогда он будет их видеть

пакет внутри себя?

можно сделать внутренний пакет

это го который парсится а потом генерит конкретные реализации функции?

https://www.reddit.com/r/rust/comments/5penft/parallelizing_enjarify_in_go_and_rust/dcsgk7n/ ну то есть как парсится

Cabal 2.0 and later support “internal libraries”, which are extra named libraries (as opposed to the usual unnamed library section). For example, suppose that your test suite needs access to some internal modules in your library, which you do not otherwise want to export. You could put these modules in an internal library, which the main library and the test suite build-depends upon. Then your Cabal file might look something like this: name: foo version: 1.0 license: BSD3 cabal-version: >= 1.23 build-type: Simple library foo-internal exposed-modules: Foo.Internal build-depends: base library exposed-modules: Foo.Public build-depends: foo-internal, base test-suite test-foo type: exitcode-stdio-1.0 main-is: test-foo.hs build-depends: foo-internal, base

@kana_sama твой случай или я опять не понял?

оо, годнота

Ну, мой вопрос был именно про тестирование без library. Vasiliy в общем-то ответил на него, спасибо. Вопрос бы скорее теоретический, наткнулся на препятствие, а выгуглить не смог

вообще использовать одни и те же сорцы в 2ух местах не самая годная идея, если ты не сами исходники парсишь

ну да ок

internal-library как то разумнее,она все равно пользователю не показывается и пакет остается executable-only, а компиляется 1 раз

а ты посмотри :t y

дело в Num

let x = 1 :: Int даст другой результат

или :set -XMonomorphismRestriction

о, спасибо

ghci на телефоне?)

да не, текст узкий, захватил то, что нужно

кажется я недавно делал похожий вопрос

ghci на телефоне?)

если бы(

да скорей всего можно сделать, но набирать сложно

у меня даже компилятор rust на ондроиде стоит а хаскеля нет(

да скорей всего можно сделать, но набирать сложно

пф

по крайней мере online repl.it какой-нибудь

единственное шо

пакеджи, расширения свои любимые навалить не выйдет

neovim в termux не умеет работать с буфером обмена ондроида(

neovim в termux не умеет работать с буфером обмена ондроида(

вот это неудобно

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

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

ну я одно время постоянно в электричке и метро от нечего делать писал на питоне на планшете на телефоне конечно менее удобно, экран маленький

А вот часто говорят о типе, как о множестве значений. Но что такое значения типа в Хаскеле? Могу предположить, что под значениями подразумевают граф (конструкторов) в нормальной форме. Тогда получается, что тот же тип Stream вообще не имеет ни одного значения? Т.е., как это говорят, "тип не заселён"?

да, Stream становится населён, если убрать требование нормальной формы

правда, тогда все типы становятся заселены днищами

но кроме днищ появляются такие "бесконечные" значения, как Stream

но если мы уберём требование нормальной формы, то получаются всякие странности, нет?

вроде как в типе Identity тогда будет и Identity 2 и Identity (1+1)

это хорошо?

но если называть значением не граф, а ровно один конструктор в WHNF, тогда это более-менее работает

вроде как в типе Identity тогда будет и Identity 2 и Identity (1+1)

но эти значения можно признать равными

я к тому, что тогда понятие "мощность множества значений в типе" становится непонятно, как определять

но эти значения можно признать равными

эти признать можно, да. но ведь это не всегда сработает

можно разрешить бесконечный граф для Stream

можно наверное придумать два элемента в типе, оба в WHNF, доказательство равенства которых будет сложной теоремой или вообще недоказумым:)

по-крайней мере кажется, что так

возникает вопрос, а сколько реально элементов в типе

и корректен ли вообще такой вопрос?

возникает вопрос, а сколько реально элементов в типе

*не "сколько", а просто описать множество попарно неравных значений типа

#(Stream a) = #a ^ א0

это понятно

можно наверное придумать два элемента в типе, оба в WHNF, доказательство равенства которых будет сложной теоремой или вообще недоказумым:)

мне кажется, нельзя. любой дочерний узел будет дном или снова WHNF

предлагаю подождать, когда проснутся те, кто читал теорию типов

мне кажется, нельзя. любой дочерний узел будет дном или снова WHNF

я сейчас не про дно. интересуют именно WHNF

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

у меня не получается строго записать определение для множества значений типа t, если мы разрешаем WHNF

#t = {все "различные" WHNF этого t, где "различные" — ???}

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

кстати, значок решетки - это мощность множества значений ты так обозначил или само множество?

#t = {все "различные" WHNF этого t, где "различные" — ???}

представлены разными конструкторами или ссылаются на различные поля (рекурсия, возможно, бесконечная)

кстати, значок решетки - это мощность множества значений ты так обозначил или само множество?

мощность