169 похожих чатов

React — русскоговорящее с... React — русскоговорящее с...
Android Developers Android Developers
Python Python
Vue.js — русскоговорящее ... Vue.js — русскоговорящее ...
supapro.cxx supapro.cxx
DotNetRuChat DotNetRuChat
GNU/Linux Help GNU/Linux Help
Telegram Developers Telegram Developers
Node.js — русскоговорящее... Node.js — русскоговорящее...
DevOps — русскоговорящее ... DevOps — русскоговорящее ...
JavaScript Noobs — сообще... JavaScript Noobs — сообще...
Django [ru] Django [ru]
Go-go! Go-go!
Angular - русскоговорящее... Angular - русскоговорящее...
ntwrk ntwrk
Верстка сайтов HTML/CSS/J... Верстка сайтов HTML/CSS/J...
phpGeeks phpGeeks
Kubernetes — русскоговоря... Kubernetes — русскоговоря...
Битрикс для разработчиков Битрикс для разработчиков
MODX. Русскоязычное сообщ... MODX. Русскоязычное сообщ...
pgsql – PostgreSQL pgsql – PostgreSQL
Laravel Pro Laravel Pro
iOS Developers — русского... iOS Developers — русского...
ClickHouse не тормозит ClickHouse не тормозит
Rust — русскоговорящее со... Rust — русскоговорящее со...
JavaScript — русскоговоря... JavaScript — русскоговоря...
С# С#
pro.cxx pro.cxx
pro.jvm pro.jvm
React Native — русскогово... React Native — русскогово...
Devs Chat Devs Chat
Docker — русскоговорящее ... Docker — русскоговорящее ...
HTML/CSS — русскоговоряще... HTML/CSS — русскоговоряще...
Python beginners Python beginners
🐧 RU.UBUNTU — Официальное... 🐧 RU.UBUNTU — Официальное...
Kotlin Community Kotlin Community
Embedded Group Embedded Group
Чат экстремального погром... Чат экстремального погром...
aiogram aiogram
Scala User Group Scala User Group
Haskell Haskell
PHP PHP
TypeScript TypeScript
Клуб Vue.js-разработчиков Клуб Vue.js-разработчиков
Xamarin Developers (MAUI,... Xamarin Developers (MAUI,...
F# Chat F# Chat
Svelte [svelt] - All abou... Svelte [svelt] - All abou...
Системное администрирован... Системное администрирован...
Nuxt.js | Vue SSR Nuxt.js | Vue SSR
var chat = new Chat(); var chat = new Chat();
Data Science Chat Data Science Chat
Ассемблер Ассемблер
Android Architecture Android Architecture
Laravel для начинающих Laravel для начинающих
Церковь метрик Церковь метрик
Dart & Flutter Dart & Flutter
QA — русскоговорящее сооб... QA — русскоговорящее сооб...
Tarantool Tarantool
pro.elixir pro.elixir
Python Flask Python Flask
SAP ABAP SAP ABAP
R (язык программирования) R (язык программирования)
learn.java learn.java
DevsHelper DevsHelper
Big Data Science :: AI / ... Big Data Science :: AI / ...
SwiftBook SwiftBook
Delphi & Lazarus Delphi & Lazarus
Solidity Development Solidity Development
Evolution CMS официальное... Evolution CMS официальное...
pro.net (former COM+) pro.net (former COM+)
OpenStreetMap RU OpenStreetMap RU
Visual Studio Code — русс... Visual Studio Code — русс...
ru_mysql ru_mysql
pro.lua pro.lua
Dart / Flutter Dart / Flutter
GraphQL — русскоговорящее... GraphQL — русскоговорящее...
pro.Asm pro.Asm
OpenCartForum - 🇺🇦🇪🇺Чат O... OpenCartForum - 🇺🇦🇪🇺Чат O...
IDE и редакторы — русског... IDE и редакторы — русског...
Angular.js (1.x) — русско... Angular.js (1.x) — русско...
Frontend_ru Frontend_ru
Lame C Lame C
Flutter Developers — русс... Flutter Developers — русс...
AutoIT RU AutoIT RU
AI / Искусственный Интелл... AI / Искусственный Интелл...
dlang.ru dlang.ru
Laravel Framework Russian... Laravel Framework Russian...
WebPwnChat WebPwnChat
Чат — Верстка Сайтов и Фр... Чат — Верстка Сайтов и Фр...
pro.python pro.python
Java Underground Java Underground
Natural Language Processi... Natural Language Processi...
javascript_ru javascript_ru
SqlCom.ru - сообщество MS... SqlCom.ru - сообщество MS...
Cinema 4D Cinema 4D
pro.vim pro.vim
Delphi Community Delphi Community
Server Side Swift Develop... Server Side Swift Develop...
Autohotkey_RU ( v1 & v2 ) Autohotkey_RU ( v1 & v2 )
PHP DevConf KZ🇰🇿 PHP DevConf KZ🇰🇿
pro.rb (Ruby/Rails / RU) pro.rb (Ruby/Rails / RU)
RubyRush.ru RubyRush.ru
Modern::Perl Modern::Perl
Oracle RU Oracle RU
DevOps DevOps
ru.nim.talks ru.nim.talks
Odoo talks & fun Odoo talks & fun
Software Design/Architect... Software Design/Architect...
sql_ninja sql_ninja
AndroidDev Pro:: Професси... AndroidDev Pro:: Професси...
WordPress for developers WordPress for developers
PowerShellRus - о Powersh... PowerShellRus - о Powersh...
Эльбрусы и с чем их едят Эльбрусы и с чем их едят
Java/Kotlin and more Java/Kotlin and more
Haskell Start Haskell Start
pro.buildsystems pro.buildsystems
Powershell Rus Powershell Rus
Python для анализа данных Python для анализа данных
ErlangRus ErlangRus
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
phpclub.ru phpclub.ru
Electron.js Electron.js
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
MySQL MySQL
pro.osdev - os developmen... pro.osdev - os developmen...
QA juniors QA juniors
GameDev for Web GameDev for Web
Lame C++ Lame C++
Go Get A Job Go Get A Job
PostgreSQL (English) PostgreSQL (English)
Ember_js Ember_js
Tilda Developers Tilda Developers
RU.Docker — Официальное Р... RU.Docker — Официальное Р...
Emacs — русскоговорящее с... Emacs — русскоговорящее с...
FreePascal & Lazarus FreePascal & Lazarus
WordPress – русскоговорящ... WordPress – русскоговорящ...
Язык программирования Jul... Язык программирования Jul...
Django Django
sentry_ru sentry_ru
ReasonML и OCaml ReasonML и OCaml
WebAssembly — русскоговор... WebAssembly — русскоговор...
ansible — русскоговорящее... ansible — русскоговорящее...
Сrystal Lang — русскогово... Сrystal Lang — русскогово...
aiohttp aiohttp
Clojure — русскоговорящее... Clojure — русскоговорящее...
heroku_ru heroku_ru
PowerShell Pro PowerShell Pro
macOS Developers — русско... macOS Developers — русско...
systemd systemd
use Perl or die; use Perl or die;
FORTH и родственные ЯП FORTH и родственные ЯП
Natural Language Processi... Natural Language Processi...
ru_jenkins ru_jenkins
CatBoost CatBoost
CyberBiology CyberBiology
Sequelize - community (en... Sequelize - community (en...
sonarqube_ru sonarqube_ru
Elm Lang сообщество разра... Elm Lang сообщество разра...
SublimeText_RU SublimeText_RU
NativeScript NativeScript
WordPress CodeRun WordPress CodeRun
ReactiveX - русскоговорящ... ReactiveX - русскоговорящ...
PureScript — русскоговоря... PureScript — русскоговоря...
#Вайти #Вайти
Эликсир и Вунш Эликсир и Вунш
Cassandra Cassandra
ReasonML и OCaml ReasonML и OCaml
Dmitriy-Mozhevitin

Добрый день! Подскажите, есть ли аналог подобной вещи в окамле https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-Type-Equality.html? Юзкейс:

имея 2 полиморфных типа a и b хочется “доказать” в рантайме, что эти типы равны, чтобы не получать компайл-еррор вида “couldn’t match type variable ‘a’ with ‘b’”

#programming #reasonml #russian
0

1 ответов

20 просмотров
Dika-

Да, с 5.1 окамла это есть в stdlib https://v2.ocaml.org/api/Type.html

0
9 месяцев назад

Похожие вопросы

ReasonML и OCaml ReasonML и OCaml / SystemEng
Подписаться

немного глупый вопрос, но что лучше изучать человеку если он хочет сильно научиться функциональному программированию, haskell или ocaml? как по мне кажется ocaml проще, и ...

#programming #reasonml #russian
28.10.2024
0
6 ответов
ReasonML и OCaml ReasonML и OCaml / Taras 🦀 Taraskin
Подписаться

let sum : int = 0; print_string "Sum numbers 1-100:"; for num = 1 to 100 do sum = sum + num done Printf.printf "%d\n" sum 10 | Printf.printf "%d\n" sum ^^^^^^ Error:...

#programming #reasonml #russian
10.10.2024
0
22 ответов
ReasonML и OCaml ReasonML и OCaml / Taras 🦀 Taraskin
Подписаться

let maybe_valid_number n : int = if n > 0 && n < 6 then let doubled_int = n * 2 in Printf.printf "%d * 2 = %d\n" n doubled_int else print_endline...

#programming #reasonml #russian
08.10.2024
0
12 ответов
ReasonML и OCaml ReasonML и OCaml / Rust Nim
Подписаться

Ocaml и opam установить через brew? Остальные через opam?

#programming #reasonml #russian
29.10.2024
0
3 ответов
ReasonML и OCaml ReasonML и OCaml / Taras 🦀 Taraskin
Подписаться

все же надо let () = для принтов?

#programming #reasonml #russian
10.10.2024
0
11 ответов
ReasonML и OCaml ReasonML и OCaml / SystemEng
Подписаться

хотел спросить может кто ни будь знает аналог по типу leetcode, что бы можно было порешать задачки на ocaml?

#programming #reasonml #russian
22.10.2024
0
5 ответов
ReasonML и OCaml ReasonML и OCaml / Dmitry Ponyatov
Подписаться

а что за огрызок окамла входит в состав msys2 ? opam dune пакетов нет в комплекте, ocaml по ошибке Std библиотеки вылетает

#programming #reasonml #russian
13.10.2024
0
8 ответов
ReasonML и OCaml ReasonML и OCaml / Dmitry Ponyatov
Подписаться

а как канонично сделать мутабельный глобальный сет булевых флагов на уровне модуля? есть генератор сишного кода, в него надо добавить набор флагов, которые нужно ставить/сним...

#programming #reasonml #russian
17.10.2024
0
3 ответов
ReasonML и OCaml ReasonML и OCaml / Rust Nim
Подписаться
screenshot

В документации только через только brew. Какие другие варианты установки есть на M1 Chip?

#programming #reasonml #russian
29.10.2024
0
2 ответов
ReasonML и OCaml ReasonML и OCaml / Taras 🦀 Taraskin
Подписаться

let got_int : ref int in try got_int = int_of_string read_line() with End_of_file -> is_valid_number got_int в этой части почему ругается на in ? эту часть ...

#programming #reasonml #russian
08.10.2024
0
7 ответов
Смотреть еще
ReasonML и OCaml ReasonML и OCaml
Подписаться
Вопросов 270
Ответов 693
Участников 396
Telegram @reasonml_ru

Обсуждают сегодня

Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Коллеги, добрый вечер. Создаю коллекцию от TFPGMap, ключ - перечисление, значение - целое. Нужно отсортировать коллекцию по значению. Как это можно сделать?
Kirill Filippenok
11
Привет, такой вопросик появился кажется ли вам что Rust слишком сложный/строгий для высокоуровневого программирования и слишком "безопасный"/строгий для низкоуровневого?
Крокант
10
Скажи а ты когда этот канал создавал ты уже дельфи не любил, или это со временем пришло?
Роман Лях (rgreat)
18
Всем привет! Использую кастомное модальное диалоговое окошко, все по классике - mrOK, mrCancel как ModalResult. Однако есть нюанс - в главной форме есть универсальный обработч...
Олег Гранишевский
20
Карта сайта