Описание тега tacit-programming
Tacit programming is a programming paradigm in which a function definition does not include information regarding its arguments, using combinators and function composition (but not λ-abstraction) instead of variables. The simplicity behind this idea allows its use on several programming languages, such as APL and J.
1
ответ
J: исключение Гаусса-Иордана
Задача для кодирования метода Гаусса-Джордана для решения линейной системы алгебраических уравнений - это упражнение, которое я выбрал для продвижения в обучении J. Система - это Ax = b, где A - это n- by-n матрица, b и неизвестные x равны n-векторы…
11 окт '14 в 18:08
3
ответа
Каковы некоторые из уникальных особенностей J?
Я родом из C, Fortran, Python, R, Matlab и некоторых Lisp - и я прочитал несколько вещей на Haskell. Какие изящные идеи / примеры на J или других языках из семейства APL являются уникальными и не реализованы на более распространенных языках? Мне все…
10 июл '10 в 05:30
1
ответ
Бессмысленный стиль в шаблоне Haskell
Рассмотрим следующую функцию Template Haskell: composeQ :: ExpQ -> ExpQ -> ExpQ composeQ = \x y -> [| $(x) . $(y) |] Можно ли исключить лямбда-выражение из правой части уравнения и записать composeQ используя бессмысленный стиль?
24 фев '12 в 05:42
6
ответов
Обучение J/K/APL
Я знаю, что все три связаны, и я видел довольно много ответов на проблемы в Project Euler, написанных на J, и несколько написанных на K. Что мне интересно, что бы вы предложили изучить, и куда бы вы предложили пойти о получении материалов, чтобы узн…
29 сен '09 в 07:08
2
ответа
Почему J-фраза '(2&*~) 15 7 3 1' производит таблицу, и почему эта конкретная таблица?
(2&*~) 15 7 3 1 Выше фраза. В конце есть след и окончательный результат. Я понимаю, что эта фраза является монадой, я понимаю, что из-за ~ она имеет левый и правый аргумент. То же самое происходит, если вы запустите '15 7 3 1(2&*) 15 7 3 1'. Я т…
15 сен '11 в 19:24
2
ответа
Создание рекурсивной неявной функции в J
Я новичок в J, и я пытался создать функцию Фибоначчи как упражнение (всегда вторая функция, которую я создаю при изучении языка). Я просто не могу понять, что именно не так на моем пути. Я пытался определить его как молчаливый, но он зависает, если …
11 июн '14 в 18:41
2
ответа
Были ли эмулированы наречия, вилки и т. Д. В стиле J через библиотеки на основных функциональных языках?
Была ли когда-либо предпринята попытка эмуляции J-стиля сверхконденсированного неявного программирования с помощью глаголов, наречий, вилок и т. Д. С помощью библиотек для основных функциональных языков? Если да, насколько успешным был результат? Ес…
03 авг '10 в 17:03
4
ответа
Как отфильтровать список в J?
В настоящее время я изучаю увлекательный язык программирования J, но я не смог понять, как отфильтровать список. Предположим, у меня есть произвольный список 3 2 2 7 7 2 9 и я хочу удалить 2s, но оставить все остальное без изменений, т. е. мой резул…
19 май '10 в 10:55
2
ответа
Систематически извлекать существительные аргументы из выражения J
Каков систематический подход к извлечению существительных в качестве аргументов из выражения в J? Чтобы было ясно, выражение, содержащее два литерала, должно стать двоичным выражением с использованием левого и правого аргументов вместо литералов. Я …
06 мар '15 в 23:58
1
ответ
Как мне сделать файл IO в J?
Я хочу иметь возможность читать и записывать файлы и т. Д. Как я могу это сделать?
21 июн '10 в 19:46
3
ответа
J: Самоссылка в неявной реализации пузырьковой сортировки
Поскольку я новичок в J, я решил решить простую задачу с использованием этого языка, в частности, реализовать алгоритм пузырьковой сортировки. Я знаю, что идиоматически не решить такую проблему в функциональных языках, потому что она естественным …
08 май '10 в 07:42
2
ответа
Плюсы / минусы молчаливого программирования в J
Будучи новичком в J I, я часто сталкиваюсь с неявными программами, которые кажутся довольно византийскими по сравнению с более знакомой явной формой. Теперь, просто потому, что я нахожу интерпретацию трудной, не означает, что молчаливая форма неправ…
12 апр '15 в 16:07
1
ответ
Есть ли формальный способ предложения / обсуждения изменений в Clojure?
Есть ли формальный способ предложения / обсуждения изменений в Clojure?
17 июн '15 в 22:05
1
ответ
Реализовать интерфейс F# через неявное программирование
Идея неявного программирования состоит в том, чтобы не применять аргументы к функциям, если этого можно избежать. Почему F# не позволяет это компилировать, если функции являются членами первого класса? type IAdder = interface abstract member Add : i…
03 мар '17 в 04:53
3
ответа
В APL, как я могу вычислить наименьшее неиспользованное положительное целое число из заданного набора целых чисел?
Например, учитывая 1 8 4 9 0 2, вернуть 3. Спасибо.
08 сен '09 в 15:46
4
ответа
Когда я пытаюсь добавить второй хук / форк в эту J-программу, я получаю неожиданные результаты. Кто-нибудь может объяснить почему?
((1&{~+/)*./\(=1&{))1 1 1 3 2 4 1 Я всегда получаю ошибку индекса. Смысл состоит в том, чтобы вывести два числа, одно из которых совпадает с первым числом в списке, второе - с количеством повторений этого числа. Так что это много работает: *…
15 сен '11 в 21:10
3
ответа
Среднее арифметическое вперед или назад?
Я знаком с этим способом сделать среднее арифметическое в J: +/ % # Но это также показано здесь как # %~ +/ Являются ли эти две версии взаимозаменяемыми, и если нет, то когда мне следует использовать одну против другой?
04 июн '15 в 15:29
1
ответ
Возможно ли молчаливое программирование на языке статистического программирования R?
Является ли молчаливое программирование также известным как стиль без точек - опция в R?
08 май '15 в 10:37
2
ответа
Как я могу сделать комбинатор с такой подписью типа?
Я пытался сделать комбинатор с такой подписью типа: (a -> b -> c) -> (c -> d -> e) -> a -> b -> d -> e Я прошел через Data.Aviary.Birds и все сайты помощи по молчаливому программированию, которые я могу найти, но безрезуль…
28 фев '18 в 05:50
2
ответа
Как я могу сгенерировать простую последовательность Роуленда в J?
Если вы не знакомы с последовательностью простых чисел Роуленда, вы можете узнать об этом здесь. Я создал уродливый процедурный монадический глагол в J, чтобы сгенерировать первые n членов в этой последовательности следующим образом: rowland =: опре…
10 июн '10 в 08:53