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

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
Big Data Science :: AI / ... Big Data Science :: AI / ...
DevsHelper DevsHelper
SwiftBook SwiftBook
Solidity Development Solidity Development
pro.net (former COM+) pro.net (former COM+)
OpenStreetMap RU OpenStreetMap RU
Visual Studio Code — русс... Visual Studio Code — русс...
Delphi & Lazarus Delphi & Lazarus
ru_mysql ru_mysql
pro.lua pro.lua
GraphQL — русскоговорящее... GraphQL — русскоговорящее...
Dart / Flutter Dart / Flutter
Evolution CMS развитие и ... Evolution CMS развитие и ...
pro.Asm pro.Asm
OpenCartForum - 🇺🇦🇪🇺Чат O... OpenCartForum - 🇺🇦🇪🇺Чат O...
Angular.js (1.x) — русско... Angular.js (1.x) — русско...
IDE и редакторы — русског... IDE и редакторы — русског...
Frontend_ru Frontend_ru
Flutter Developers — русс... Flutter Developers — русс...
AutoIT RU AutoIT RU
AI / Искусственный Интелл... AI / Искусственный Интелл...
Lame C Lame C
Laravel Framework Russian... Laravel Framework Russian...
WebPwnChat WebPwnChat
Чат — Верстка Сайтов и Фр... Чат — Верстка Сайтов и Фр...
pro.python pro.python
Java Underground Java Underground
dlang.ru dlang.ru
Natural Language Processi... Natural Language Processi...
javascript_ru javascript_ru
SqlCom.ru - сообщество MS... SqlCom.ru - сообщество MS...
Cinema 4D Cinema 4D
pro.vim pro.vim
PHP DevConf KZ🇰🇿 PHP DevConf KZ🇰🇿
Delphi Community Delphi Community
Autohotkey_RU ( v1 & v2 ) Autohotkey_RU ( v1 & v2 )
pro.rb (Ruby/Rails / RU) pro.rb (Ruby/Rails / RU)
RubyRush.ru RubyRush.ru
Oracle RU Oracle RU
Server Side Swift Develop... Server Side Swift Develop...
DevOps DevOps
Software Design/Architect... Software Design/Architect...
sql_ninja sql_ninja
AndroidDev Pro:: Професси... AndroidDev Pro:: Професси...
WordPress for developers WordPress for developers
Odoo talks & fun Odoo talks & fun
PowerShellRus - о Powersh... PowerShellRus - о Powersh...
Эльбрусы и с чем их едят Эльбрусы и с чем их едят
Java/Kotlin and more Java/Kotlin and more
ru.nim.talks ru.nim.talks
Modern::Perl Modern::Perl
pro.buildsystems pro.buildsystems
Powershell Rus Powershell Rus
Python для анализа данных Python для анализа данных
Haskell Start Haskell Start
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
phpclub.ru phpclub.ru
ErlangRus ErlangRus
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
QA juniors QA juniors
GameDev for Web GameDev for Web
Electron.js Electron.js
MySQL (EN) MySQL (EN)
Это RabbitMQ Это RabbitMQ
Go Get A Job Go Get A Job
Lame C++ Lame C++
pro.osdev - os developmen... pro.osdev - os developmen...
RU.Docker — Официальное Р... RU.Docker — Официальное Р...
Emacs — русскоговорящее с... Emacs — русскоговорящее с...
Ember_js Ember_js
PostgreSQL (English) PostgreSQL (English)
FreePascal & Lazarus FreePascal & Lazarus
Django Django
Tilda Developers Tilda Developers
WordPress – русскоговорящ... WordPress – русскоговорящ...
Язык программирования Jul... Язык программирования Jul...
ReasonML и OCaml ReasonML и OCaml
sentry_ru sentry_ru
ansible — русскоговорящее... ansible — русскоговорящее...
WebAssembly — русскоговор... WebAssembly — русскоговор...
Сrystal Lang — русскогово... Сrystal Lang — русскогово...
aiohttp aiohttp
Clojure — русскоговорящее... Clojure — русскоговорящее...
heroku_ru heroku_ru
PowerShell Pro PowerShell Pro
systemd systemd
macOS Developers — русско... macOS Developers — русско...
use Perl or die; use Perl or die;
FORTH и родственные ЯП FORTH и родственные ЯП
ru_jenkins ru_jenkins
Natural Language Processi... Natural Language Processi...
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
pro.jvm pro.jvm
纳特总维修工-Коц

Кто-Нибудь знает, был ли где-то подробный туториал по алгоритму вывода

типов Хиндли-Милнера на Java?

#backend #java #programming #russian
0

7 ответов

11 просмотров
纳特总维修工-Коц Автор вопроса

Может, кто-то всё же видел?

0
6 месяцев назад
0xDEADFACE-
纳特总维修工 Коц
Может, кто-то всё же видел?

Странный вопрос какой-то. Отдельная от интерпретатора реализация смысла особо не имеет

0
6 месяцев назад
Ayrat-Hudaygulov

папиры от Одерского/Вадлера смотрел? про всякие пиццы и пр

0
6 месяцев назад
纳特总维修工-Коц Автор вопроса
Ayrat Hudaygulov
папиры от Одерского/Вадлера смотрел? про всякие пи...

Там слишком сложно и формально.

0
6 месяцев назад
Ayrat-Hudaygulov
纳特总维修工 Коц
Там слишком сложно и формально.

я вообще не очень понял что тебе нужно? чем HM на JVM отличается от HM на хаскеле (там тоже типы в рантайме стираются)

0
6 месяцев назад
纳特总维修工-Коц Автор вопроса
Ayrat Hudaygulov
я вообще не очень понял что тебе нужно? чем HM на ...

Сложно это переписать на Java. https://github.com/jozefg/higher-order-unification/blob/master/explanation.md

0
6 месяцев назад
Ayrat-Hudaygulov
纳特总维修工 Коц
Сложно это переписать на Java. https://github.co...

Да ладно, хкт кодируются как ехал object через object где в аннотациях рантайм тип лежит

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

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

pro.jvm pro.jvm / Borislaw P
Подписаться

https://www.youtube.com/watch?v=zluKcazgkV4 просто оставлю это здесь, может кому-нибудь всё таки интересно будет

#backend #java #programming #russian
18.10.2023
0
48 ответов
pro.jvm pro.jvm / Dmitriy Fomin
Подписаться

Если я задам стажёрский вопрос про volatile меня тут не закидают камнями? В целом решил почитать именно про JMM, и там такой пример public class DekkerVolatile { private vo...

#backend #java #programming #russian
18.11.2023
0
24 ответов
pro.jvm pro.jvm / Ilya Starchenko
Подписаться

Кто-нибудь видел, какая изначальная причина была при отказе от ThreadLocal в лум? Начал тут разбирать как устроен ScopedValues, добравлся вот до этого(https://github.com/openj...

#backend #java #programming #russian
07.10.2023
0
29 ответов
pro.jvm pro.jvm / Nastya
Подписаться

ребят а кто-то использует у себя на проекте springBoot + Oracle ? вопрос в том, что в сервисе генерируется правильный запрос, который работает через консоль напрямую в бд, но...

#backend #java #programming #russian
10.10.2023
0
26 ответов
pro.jvm pro.jvm / Egor Gavrilov
Подписаться

Стоит ли ставить Oracle JDK? Или хватит и форков OpenJDK. Раньше оракловая JDK была самой лучшей. Даже Гугл и JB предпочитала именно её. Сейчас же вроде как именно OpenJDK счи...

#backend #java #programming #russian
31.10.2023
0
22 ответов
pro.jvm pro.jvm / Bohdan Panchenko
Подписаться

"continuation даже публичного api нет." А какое там апи нужно? это по факту сохранения состояния - все

#backend #java #programming #russian
18.10.2023
0
27 ответов
pro.jvm pro.jvm / Sergey
Подписаться

Всем доброе утро! Простое web-приложение. Servlet. Пересмотрел множество примеров, повторял код. Сработал наконец только один вариант, причем попробовал его как на windows, та...

#backend #java #programming #russian
25.10.2023
0
18 ответов
pro.jvm pro.jvm / Vlad K
Подписаться

Привет! Подскажите плиз правильно ли понимаю, что при перегонке файла в с3 этот файл будете жить в хипе до следующей сборки мусора? Принимаешь стрим с клиента и сразу же пар...

#backend #java #programming #russian
23.11.2023
0
18 ответов
pro.jvm pro.jvm / Alexandr ∨∧‾ Emelyanov
Подписаться

кто что использует аналогичное постману? нужна альтернатива

#backend #java #programming #russian
21.09.2023
0
29 ответов
pro.jvm pro.jvm / Sadogursky Aleksandr
Подписаться

Поделитесь опытом, ставил кто-то в логике Runnable, в ScheduledExecutorService Thread.sleep на 50 минут? Мне надо реализовать ретраи каждые 50 минут, боюсь Thread.sleep не ...

#backend #java #programming #russian
25.10.2023
0
23 ответов
Смотреть еще
pro.jvm pro.jvm
Подписаться
Вопросов 31573
Ответов 55269
Участников 7271
Telegram @jvmchat

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

Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
55
Привет, нужен совет старших товарищей. Есть глобальная переменная var DefaultDataFolder:string; инициализируем DefaultDataFolder:='a:\_OUT\'; есть примитивная процедур...
Max Otto
11
Вопрос. Теоретический. Есть список команд. Команды отправляю в обработку некой функции, по очереди. Разные команды могут давать разные результаты после обработки. В зависимос...
Serjone
7
Всем вечера. Подскажите как лучше сделать. делаю на Д10 Например будет база данных на SQLite. в ней будет много таблиц. более 50шт Типа справочник. Содержать ID Name Id p...
Андрей Т 🐎
10
это группа токсиков или тех кто помогает?
Ибрагим
9
Всем здравствуйте!) У меня такой вопрос. Есть два роута, роут1 и роут2. Они связаны с очередью some_queue. По задаче предполагается, что есть два паблиша. Паблиш1 отправляет...
Format
10
Я короче решил скомпилировать Nim в js, я думал он сработает как обычный транслятор. По итогу он мне создал файл с расширением js, и туда поместил кучу кода Вопрос, что это з...
𝕾𝖍𝖆𝖉𝖊 <suspense>
8
мы пытаемся подменить функцию, которая имеет меньше инструкций относительно функции, которой подменяем. https://www.reddit.com/r/jailbreakdevelopers/comments/w06ujy/mshookfun...
Óðinn
6
У кого-нибудь есть под рукой функция кодирования юникода, которая из фразы На русском сделает \u041d\u0430\u0020\u0440\u0443\u0441\u0441\u043a\u043e\u043c ?
Daniil Smolyakov
7
подскажите пожалуйста, как мне освободить результат записанный в переменную result? в чем проблема подскажите если МОЖЕТЕ?
Михаил Helper
28
Карта сайта