ну я точно не знаю, что и на что получилось похоже. Собрать список файлов, засунуть этот список в некоторую базу, вызывать какую-то внешнюю программу с аргументами и читать ее вывод. В лиспе вроде как у меня был какой-то готовый тип, а в баше были бы чисто строки. Но суть примерно та же

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

вон Idris же вроде транслировали в баш, не?

только это тормозит наверно жутко

хм. Я думал, что gherkin это язык для BDD

есть такой

Ладно. Тоже спрошу.

Народ, посоветуйте, что почитать по Program Synthesis?

Посоветуйте что-нибудь, с чего начать изучать. Сайт, книжку, туториал. Нужно прям очень резко написать программу уровня крестики-нолики

https://lotz84.github.io/haskellbyexample/

уверенности в том что происходит не будет, но написать, наверное, сможешь.

это переписанное с го что-то

если я помню правильно, там какой-то ад в плане межтредовой коммуникации

это переписанное с го что-то

именно. в самом низу сноска, кстати.

Так гист-то можно завести, но мы не сходимся в ответе :)

Мы не сходимся, потому что в формате срача в чате ни к какой истине придти нельзя. Как только будет полуготовый документ, то точки соприкосновения будет проще найти

можно устроить голосование через @vote, выберем лучшую книгу, добавим её в гист, прикрепим пост для вновь прибывших.

в гисте уже лучше описать наиболее известное с какими-либо комментариями потому что всё равно спросят вон про то

contribute to ruhaskell.org и ссылку на него?

У меня они на руби будут и нужно во втором варианте на языке, который не знаю) тест на обучаемость

Ты уверена что правильно тест проводишь? что ты знаешь про эту самую обучаемость? Пинкер, Прайор, Умрюхин, Чиксентмихайи, и прочих читала?

Ты уверена что правильно тест проводишь? что ты знаешь про эту самую обучаемость? Пинкер, Прайор, Умрюхин, Чиксентмихайи, и прочих читала?

я его прохожу

А для чего, если не секрет?

так, про ruhaskell.org отменять, оказывается не для этого сайт

А для чего, если не секрет?

чтобы работу получить

Ну тогда задай им этот вопрос...

Ты уверена что правильно тест проводишь? что ты знаешь про эту самую обучаемость? Пинкер, Прайор, Умрюхин, Чиксентмихайи, и прочих читала?

... ты — замени на "вы".

Ну тогда задай им этот вопрос...

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

этот так называемый "тест", ничего не показывает.

этот так называемый "тест", ничего не показывает.

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

нет.

какие-нибудь аргументы?

Хотябы только потому, что тебя не обеспечили нужными книгами, статьями... как они будут оценивать?

тоже попытаются выучить по тем книгам, что ты читала, и если не смогут, то ты подходишь?

какие-нибудь аргументы?

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

смены мышления?

а чому грят что с нуля наоборот проще

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

ясн

можете не продолжать

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

Ну я думаю, что там и беседа будет по результатам. Вполне можно обсудить и понять что я узнала нового и с какими трудностями столкнулась. В любом случае рубишную часть я напишу, там надо только красиво оформить. А тут ну что получится, то получится.

@aleksandrenko Очень, очень давно, была написана книга Опыт о человеческом разумении. Так вот, эти далбаебы, что дали тебе задание, пусть идут и читают.

@aleksandrenko Очень, очень давно, была написана книга Опыт о человеческом разумении. Так вот, эти далбаебы, что дали тебе задание, пусть идут и читают.

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

помню был один бизнесмен, который на собеседовании давал час, чтобы кандидат разобрался с Elixir и пофиксил баг в коде, который ему давали. Видимо, такими же идеями был вдохновлён.

ну это совсем трешак

Все относительно. Вот для тебя их тес вполне приемлем, а для меня — хуета еще та.

Любой тест что-то да показывает. Реакцию, как минимум. В любом, случае бессмысленно это обсуждать. Мне оно надо, а состоятельность их hr-политики - вопрос другой.

Если выбор за тобой, то выбери Coq. Так ты точно удивишь их hr-ов.

Я это гарантирую

лол, действительно.

Очень быстро ты поменяла свое мнение. Вначале это был тест, а теперь это несостоятельность hr'ов... Но ты права, и этот тест что-то да паказывает. Например он показывает как чат haskellru может помочь в кротчайшие скори выбрать правильный язык (Coq), либо посоветовать книгу по другому языку. Я незнаю хаскел, но что тебе делать могу подсказать. a) скажи им, что их тест вовсе не тест, и объясни почему. b) давай сюда версию на руби, и возможно кто-нибудь перпишет код на хаскел, и объяснит тебе тот минимум (без углубления в "лишние" подробности), что нужно знать для того чтобы написать код (но если кто и будет, то это точно не я, ведь, как я уже писал — незнаю хаскел). Чтобы за тебя написали код, и объяснили его, делается не для обмана их hr'ов, а для того, чтобы ты не тратила зря свое время на хрень придуманую непонятно кем.

Ну да, изучать ФП/Хаскель имеет смысл в данной ситуации либо для фана, либо дальнейшей работы на нём.

А для галочки HR'ов - трата времени

Тем более, если даже ты сама напишешь, то всё равно знающий человек легко докажет, что ты с писала, т.к. там за любой концепцией, даже за списками, такие дебри! Вряд ли это можно осилить за неделю или даже месяц.

Хотя если 1) чисто для галочки и 2) задрачивания кандидата не будет 3) хочется честно и 4) быстро - то лучше вот это попробовать, да.

https://lotz84.github.io/haskellbyexample/

Задача-то реально мегапростая, можно через серию банальных if'ов сделать

Без этих наших паттернматчингов и монадок

А вообще клёвая задачка на собеседование по минимальному знанию Haskell. Возьму на вооружение. Но соглашусь с @adhoc - это не про обучение, а про нагугливание полуготовых примеров для свёрстывания в одну полуработающую прогу

А вообще клёвая задачка на собеседование по минимальному знанию Haskell. Возьму на вооружение. Но соглашусь с @adhoc - это не про обучение, а про нагугливание полуготовых примеров для свёрстывания в одну полуработающую прогу

А что за задача? Я пропустил

Крестики-нолики сделать

Ну, точнее, переделать с Ruby

Очень быстро ты поменяла свое мнение. Вначале это был тест, а теперь это несостоятельность hr'ов... Но ты права, и этот тест что-то да паказывает. Например он показывает как чат haskellru может помочь в кротчайшие скори выбрать правильный язык (Coq), либо посоветовать книгу по другому языку. Я незнаю хаскел, но что тебе делать могу подсказать. a) скажи им, что их тест вовсе не тест, и объясни почему. b) давай сюда версию на руби, и возможно кто-нибудь перпишет код на хаскел, и объяснит тебе тот минимум (без углубления в "лишние" подробности), что нужно знать для того чтобы написать код (но если кто и будет, то это точно не я, ведь, как я уже писал — незнаю хаскел). Чтобы за тебя написали код, и объяснили его, делается не для обмана их hr'ов, а для того, чтобы ты не тратила зря свое время на хрень придуманую непонятно кем.

Это говоришь ты. Свое мнение я держу при себе.

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

кстати рекомендую

есть пример "жизни", написанной на sql с pg-шными рекурсивными CTE

У меня они на руби будут и нужно во втором варианте на языке, который не знаю) тест на обучаемость

А почему не питон или С++ тогда?

вот это вот жесть. а не хаскель.

А почему не питон или С++ тогда?

Человеку хочется хаскел, значит будет хаскел

ERROR: S client not available

Человеку хочется хаскел, значит будет хаскел

А ну ок. Просто имхо не стоит хайпа. Ничего особенного и достаточно бесполезный язык для всего кроме может быть каких нибудь параллельных вычислений (ещё бы встретить людей которых этим занимаются). В итоге годится чтобы втереться в тусовку вбрасывающую слова "монада" и "комонада"

А ну ок. Просто имхо не стоит хайпа. Ничего особенного и достаточно бесполезный язык для всего кроме может быть каких нибудь параллельных вычислений (ещё бы встретить людей которых этим занимаются). В итоге годится чтобы втереться в тусовку вбрасывающую слова "монада" и "комонада"

Академическую ценность какую то тоже наверно представляет. Как и coq, Idris agda и тп.

А ну ок. Просто имхо не стоит хайпа. Ничего особенного и достаточно бесполезный язык для всего кроме может быть каких нибудь параллельных вычислений (ещё бы встретить людей которых этим занимаются). В итоге годится чтобы втереться в тусовку вбрасывающую слова "монада" и "комонада"

Видимо долго поджидал беззащитного нуба, чтобы вбросить эту фигню

Видимо долго поджидал беззащитного нуба, чтобы вбросить эту фигню

Не то чтобы поджидал. И наоборот защищаю "беззащитного нуба" от колхозной монадизации и категоризации.

Не то чтобы поджидал. И наоборот защищаю "беззащитного нуба" от колхозной монадизации и категоризации.

У меня салфетки закончились телефон от жира протирать

У меня салфетки закончились телефон от жира протирать

Хаскель интересный язык, ему есть место где то (я даже упомянул). Но не для крестиков ноликов и большинства задач программирования

@scaredpepe получится неудобно, если крестики-нолики на нём напишутся быстрее и будут содержать меньше кода, чем на каком-то другом языке, которому, по-вашему, "место есть"

а ведь скорее всего, так и будет

Хаскель интересный язык, ему есть место где то (я даже упомянул). Но не для крестиков ноликов и большинства задач программирования

Философия хаскеля вообще противоречит программированию компьютеров, хотя может и пригодна для написания интересных алгоритмов

@scaredpepe получится неудобно, если крестики-нолики на нём напишутся быстрее и будут содержать меньше кода, чем на каком-то другом языке, которому, по-вашему, "место есть"

Меньше кода вообще нерелевантно

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

меньше кода релевантно. есть исследования, которые показывают, что количество ошибок зависит, в основном, от loc

ну я просто не говорю про типизацию

опять же, благотворно влияющую на количество ошибок в рантайме.

Меньше кода вообще нерелевантно

Как и "быстрее" тащем та. Да и не помогает он быстрее писать как и все монадирование категоризиование. То есть помогает также как знание термодинамики варить борщ.

и рефакторинг

всё-таки решил покормить

@scaredpepe ну т.е вы вообще не в теме, раз упоминаете монадное категоризирование

и рефакторинг

Рефакторинг это к EPAM

а, понятно

@scaredpepe ну т.е вы вообще не в теме, раз упоминаете монадное категоризирование

Я не говорил что монадное категоризиование. Я говорил монадирование и категоризирование как более общий вид деятельности

опять же, благотворно влияющую на количество ошибок в рантайме.

Это хорошо, если бы не его недостатки. Опять же я упомянул что есть полезные области приложения.

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

хороший, годный, тонкий троллинг - это прикольно

и задорно

но не все в такое умеют.

По сути ничего не сказал такого вызывающего, лишь сказал что применимость хаскеля крайне ограничена

а вы, например, что можете сказать в подтверждение этого тезиса?

а вы, например, что можете сказать в подтверждение этого тезиса?

Какого

что применимость ограничена

По сути ничего не сказал такого вызывающего, лишь сказал что применимость хаскеля крайне ограничена

Вообще-то там было "бесполезный язык".

что применимость ограничена

Да хотя бы то что немутабельные данные. Прямое противоречие с программированием компьютера