Как избавиться от скобок в Haskell'е?

Аня Коломенская, Это не особенность конкретно haskell. На любом другом языке синтаксическое дерево бинарных операторов также будет либо неассоциативно, либо левоассоциативно, либо правоассоциативно. Чтобы не быть голословным приведу пример на си, в котором выражение 1 :$: 2 :$: 3 представлено левоассоциативным и правоассоциативным с помощью одной структуры ExE.

#include <stdio.h>
#include <stdbool.h>

typedef struct ExE {
    bool isLeaf;
    union {
        struct {
            struct ExE *left;
            struct ExE *right;
        };
        int exdata;
    };
} ExE;

void printNode(ExE *node) {
    if(node->isLeaf) {
        printf("ExData %d", node->exdata);
    } else {
        putchar('(');
        printNode(node->left);
        printf(" :$: ");
        printNode(node->right);
        putchar(')');
    }
}

void printExE(ExE *root) {
    printNode(root);
    putchar('\n');
}

int main() {
    ExE leaf3 = {
        .isLeaf = true,
        .exdata = 3,
    };

    ExE leaf2 = {
        .isLeaf = true,
        .exdata = 2,
    };

    ExE leaf1 = {
        .isLeaf = true,
        .exdata = 1,
    };

    // 1 :$: (2 :$: 3)
    ExE rNode1 = {
        .isLeaf = false,
        .left   = &leaf2,
        .right  = &leaf3,
    };

    ExE rRoot = {
        .isLeaf = false,
        .left   = &leaf1,
        .right  = &rNode1,
    };
    printExE(&rRoot);

    // (1 :$: 2) :$: 3
    ExE lNode1 = {
        .isLeaf = false,
        .left   = &leaf1,
        .right  = &leaf2,
    };

    ExE lRoot = {
        .isLeaf = false,
        .left   = &lNode1,
        .right  = &leaf3,
    };
    printExE(&lRoot);
}

В первом случае printExE выведет: (ExData 1 :$: (ExData 2 :$: ExData 3)).
Во втором - ((ExData 1 :$: ExData 2) :$: ExData 3)

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

wiz, Мой проект достатосно тривиален. Спасибо за форк, я про него не знал, буду использовать именно его.

Существует ли простой и элегантный способ добавить информацию о позиции в синтаксическое дерево с взаимно-рекурсивными типами?

Александр Ручкин, Он неудобен тем, что приходится в каждой функции разбирать конструктор с дополнительным полем - позицией. Например, у меня есть функция, цель которой проставить выведенные типы в конструкторы. Мне приходится разбирать конструктор, доставать из него позицию и добавлять её в новый конструктор. В сравнении со вторым вариантом он неудобен ещё и тем, что приходится использовать явную рекурсию вместо алгебр типа:
alg :: Functor f => f a -> a

Существует ли простой и элегантный способ добавить информацию о позиции в синтаксическое дерево с взаимно-рекурсивными типами?

Второй вариант удобен, у думал, что нельзя в моём случае выразить оба типа через Fix

Существует ли простой и элегантный способ добавить информацию о позиции в синтаксическое дерево с взаимно-рекурсивными типами?

Именно этот вариант я и хотел использовать, просто у меня не получилось представить LVal и Expr через Fix.

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

wiz, Так и есть. Я хотел лучше разобраться со схемами рекурсии и не хотел тянуть в проект recursion-schemes, так как у него слишком много не нужной мне функциональности и зависимостей.

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

wiz, Я её уже скидывал.

spoiler

Functional dependencies conflict between instance declarations:
instance [safe] Functor f => Fixable (Fix f) f
-- Defined at src/Data/Fix.hs:39:10
instance Fixable [a] (ListF a)
-- Defined at src/Data/Fix/Base.hs:10:10

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

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

Способ с семействами типов сработал, но, к сожалению, теперь вместо типа функции приходится включать в файле с ней расширение для семейств типов (можно ли как-нибудь это исправить?). Способ с функциональными зависимостями вызывает ошибку из-за конфликта инстансов для Fix f и [a].

Functional Dependencies

Functional dependencies conflict between instance declarations:
instance [safe] Functor f => Fixable (Fix f) f
-- Defined at src/Data/Fix.hs:39:10
instance Fixable [a] (ListF a)
-- Defined at src/Data/Fix/Base.hs:10:10

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

Я изучал по этой книге: www.stolyarov.info/books/pdf/nasm_unix.pdf

Как можно в c/c++ изменять значения ОЗУ?

Максим, Есть ptrace

Как создать двумерный массив указателей на функции Си?

Refiru, Можно с помощью препроцессора только, если заранее известы значения x и y. Например, так:

#include <stdio.h>

#define FUN_NUM(fun,num,...) fun ##num(__VA_ARGS__)

void p1() { puts("p1"); }
void p2() { puts("p2"); }

int main() {
    FUN_NUM(p,1);
    FUN_NUM(p,2);
}

Данный код превратится в:

int main() {
    p1();
    p2();
}

Если я правильно понял, вы хотите с помощью генерации имён функций инициализировать двумерный массив. Не обязательно это делать средставми си. Так как значения массива известны заранее, код, с помощью которого этот массив создаётся, можно сгенерировать скриптом.

Как создать двумерный массив указателей на функции Си?

Refiru, В каком смысле генерировать?

Как избавиться от скобок в Haskell'е?

Аня Коломенская, Что значит убрать скобки из результата? Я правильно понимаю, что вы хотите из ((a :$: b) :$: c) сделать a :$: b :$: c во внутреннем представлении? Если так, то это невозможно.

Как получить числовой хеш заданной длины?

ddddd tttt, Я нашёл соответствующую тему на stackoverflow. В ответе была дана ссылка на статью про минимальную идеальную хэш-функцию, которая преобразует множество из n ключей в целое число от 0 до n-1. Если ваши теги имеют предел в длине, то данная хэш-функция вам подойдёт.

Как получить числовой хеш заданной длины?

ddddd tttt, Нет, функция работает правильно

Как получить числовой хеш заданной длины?

ddddd tttt, Я не до конца понимаю, зачем вам нужна хэш-функция. Вы с её помощью хотите упорядочивать строки? С помощью хэш-функции это сделать вряд ли возможно, так как при её использовании коллизии неизбежны.

Как получить числовой хеш заданной длины?

Руслан ., Это верно для любой хэш-функции, т.к. не существует хэш-функций без коллизий.

Пожалуйста откритикуйте код на си и дайте советов?

Kaktys_DH, Переход к метке происходит независимо от введённых чисел. Можно сделать проще, например, завести переменную correct, значение которой будет устанавливаться в false, если пользователь ввёл ноль. В случае, если correct равна нулю printf не выводит ответ.

Я бы переделал код таким образом:

#include <stdio.h>
#include <stdbool.h>

int main() {
    float num_1, num_2, result;
    char wait, vopros;
    bool correct;

    printf("\n\t\t\t\t\tКАЛЬКУЛЯТОР 3.0");
    do {
        correct = true;
        printf("\nВведите первое число: ");
        scanf("%f", &num_1);

        printf("\nВведите второе число: ");
        scanf("%f", &num_2);

        printf("\nВыберите действие +, -, *, /: ");
        scanf("%01s", &wait);

        switch(wait) {
            case '+':
                result = num_1 + num_2;
                break;
            case '-':
                result = num_1 - num_2;
                break;
            case '*':
                result = num_1 * num_2;
                break;
            case '/':
                if(num_2 == 0) {
                    printf("\n\nТЫ ЧТО-ТО ДЕЛАЕШЬ НЕ ТАК!!!\n\n");
                    correct = false;
                } else {
                    result = num_1 / num_2;
                }
                break;
            default:
                printf("Ошибка синтаксиса\n");
                correct = false;
        }

        if(correct)
            printf("%f %c %f = %f\n", num_1, wait, num_2, result);
        printf("Хотите попробовать еше раз? (Y/n): ");
        scanf("%01s", &vopros);
    } while(vopros != 'n' && vopros != 'N');
}

Пожалуйста откритикуйте код на си и дайте советов?

Проверку деления на ноль нужно вставлять перед самим делением. Также она у вас неверно сделана, нужно проверять на равенство нулю только num_2. Также не понятно, зачем нужен код между goto metka и самой меткой metka, он никогда не выполнится, нужно убрать его вместе с goto и меткой.

Нормально ли при написании компилятора использовать си, как целевой язык?

Роман Мирр, В будуще планируется добавить, пока что делаю без неё. Я не вижу проблемы в написании сборщика мусора на си, если в этом была причина вашего вопроса.