Вопросы по теме 'ocaml'
Как проверить, созданы ли два значения одним и тем же конструктором?
скажем, у меня есть
type t = A of int | B of int
let xx = A(2);;
let yy = A(3);;
и я хочу проверить, равны ли конструкторы xx и yy, есть ли простой способ сделать это? Вместо того, чтобы
match xx with
A _ ->
(match yy with A _...
30.09.2023
как определить два типа, относящихся друг к другу в OCaml?
Приведенный ниже код сообщит сообщение об ошибке синтаксиса:
type 'a edge =
|Empty
|End of 'a * 'a vertex * 'a vertex and
type 'a vertex =
|Empty
|Vertex of 'a * 'a edge list;;
Как определить два типа, относящихся друг к другу?
18.12.2023
Алгоритм предварительного порядка двоичного дерева поиска в OCaml
У меня возникли проблемы с реализацией этого алгоритма в OCaml, так как я должен печатать круглые скобки между функциями.
Алгоритм выглядит следующим образом:
BEGIN
WRITE ( "(" )
IF (NOT EMPTY tree) THEN
IF (NOT EMPTY (left_leaf...
18.11.2023
Когда следует использовать расширяемые вариантные типы в OCaml?
Я прошел курс по OCaml перед расширяемыми типами вариантов были представлены, и я мало о них знаю. У меня несколько вопросов:
(Этот вопрос был удален, поскольку за него проголосовали "объективно не отвечающие".)
Каковы низкоуровневые...
03.10.2023
Новые материалы
Коллекции публикаций по глубокому обучению
Последние пару месяцев я создавал коллекции последних академических публикаций по различным подполям глубокого обучения в моем блоге https://amundtveit.com - эта публикация дает обзор 25..
Представляем: Pepita
Фреймворк JavaScript с открытым исходным кодом
Я знаю, что недостатка в фреймворках JavaScript нет. Но я просто не мог остановиться. Я хотел написать что-то сам, со своими собственными..
Советы по коду Laravel #2
1-) Найти
// You can specify the columns you need
// in when you use the find method on a model
User::find(‘id’, [‘email’,’name’]);
// You can increment or decrement
// a field in..
Работа с временными рядами спутниковых изображений, часть 3 (аналитика данных)
Анализ временных рядов спутниковых изображений для данных наблюдений за большой Землей (arXiv)
Автор: Рольф Симоэс , Жильберто Камара , Жильберто Кейрос , Фелипе Соуза , Педро Р. Андраде ,..
3 способа решить квадратное уравнение (3-й мой любимый) -
1. Методом факторизации —
2. Используя квадратичную формулу —
3. Заполнив квадрат —
Давайте поймем это, решив это простое уравнение:
Мы пытаемся сделать LHS,..
Создание VR-миров с A-Frame
Виртуальная реальность (и дополненная реальность) стали главными модными терминами в образовательных технологиях. С недорогими VR-гарнитурами, такими как Google Cardboard , и использованием..
Демистификация рекурсии
КОДЕКС
Демистификация рекурсии
Упрощенная концепция ошеломляющей
О чем весь этот шум?
Рекурсия, кажется, единственная тема, от которой у каждого начинающего студента-информатика..