ru_declarative

Вакансия на Scala.

potan wrote in ru_declarative Aug 29, 2017 19:03

Тут внезапно освободилась вакансия Scala-разработчика, возможно переобучение с других языков. Разрабатывать придется облачный (хостится на AWS) энтерпрайзный PLM. Зарплаты рыночные и раз в год индексируются. Компания (слишком) быстрорастущая. Называется Adalisk. Оффис около метро Ясенево в Москве.
Есть желающие?

Учебник теории категорий, версия 9

66george wrote in ru_declarative Feb 20, 2017 21:02

Видимо, на этом закончу, 400 страниц достаточно. Сделал гиперссылки и закладки

https://github.com/George66/Textbook

абстрактный язык программирования процессора

beroal wrote in ru_declarative Feb 04, 2017 07:43

Интересно, существуют ли учебники по языкам процессора вообще, то есть в которых описываются общие свойства языков процессора. Под языком процессора я подразумеваю ассемблер, машинный код. Конечно, в учебнике должны быть описаны и конкретные языки процессора в качестве примеров, но не полностью, чтобы не раздувать его ненужными деталями. Я полагаю ( Read more... )

книги

абстрактные методы решения задач

beroal wrote in ru_declarative Jan 30, 2017 10:18

Сразу оговорюсь, что это не вопрос, а тема для обсуждения. Метод «разделяй и властвуй» все мы знаем. Есть ещё что-то на таком же абстрактном уровне? Примеры от меня.

Нужно найти неподвижную точку функции f. Пусть x - такая последовательность, что x(succ(n)) = f(x(n)). Находим такое наименьшее n, что x(succ(n)) = x(n). Говоря неформально, вычисляем ( Read more... )

algorithm

предикаты высшего порядка и унификация

beroal wrote in ru_declarative Jan 02, 2017 14:16

Я слышал, что в некоторых версиях Пролога можно определять предикаты высшего порядка. Я так понимаю, что предикат высшего порядка - это предикат, который оперирует предикатами. Это значит, что надо реализовать унификацию предикатов. Мне кажется, для этого нужно решить проблему останова ( Read more... )

semantics, prolog, implementation

Вопрос про Agda:

kouzdra wrote in ru_declarative May 15, 2016 06:41

А никто не знает - на ней хоть какие-то более или менее реальные программы писали, не обязательно сложные - на крайний случай и Тетрис какой-нибудь сойдет, но именно реальные.

PS: И тот же вопрос про Idris, хотя тут менее интересно.

MLton

kouzdra wrote in ru_declarative Apr 17, 2016 17:06

А никто не имел дела с этим:What is MLton?MLton is an open-source, whole-program, optimizing Standard ML compiler ( Read more... )

Отдам книги (повтор)

dunemaster wrote in ru_declarative Jan 24, 2016 18:13

Коллеги, добрый день ( Read more... )

Отдам книги

dunemaster wrote in ru_declarative Oct 18, 2015 17:38

Коллеги, добрый день ( Read more... )

Пролог, порядок целей в зависимости от данных

beroal wrote in ru_declarative Jul 18, 2015 20:40

Есть ли вариант Пролога, который выбирает порядок целей в зависимости от данных? Пример.

code_rem(zero) --> [false].
code_rem(succ(zero)) --> [true].
code_n(zero) --> [false].
code_n(succ(N)) --> [true], {div_mod(N, succ(succ(zero)), Q, R)}, code_rem(R), code_n(Q).
code_n работает только как print. Если поменять порядок атомов:

code_n(succ(N ( Read more... )

termination, prolog, parse