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
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)
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
F# Chat F# Chat
Alex-Berezhnykh

Хиндли-Милнер не про экономию букв. Он, например, про вывод свойств

программы и инвариантность относительно типизации.
Мой любимый пример с нужной секунды https://youtu.be/K2d3Efgpos8?t=942

#fsharp #programming #russian
0

7 ответов

15 просмотров
dd-

а разве это не следствие функционального подхода?

0
21.01.2023
Alex-Berezhnykh Автор вопроса
dd
а разве это не следствие функционального подхода?

при явном указании типов ты сам задаешь свойства, ну и инвариантности как в видео там не будет.

0
21.01.2023
dd-
dd
так там всё 'a?

если б на видео была не презентация, а скрины из райдера - было б понятнее

0
21.01.2023
Alex-Berezhnykh Автор вопроса
dd
так там всё 'a?

не-а, там какие-то типы

0
21.01.2023
dd-
Alex Berezhnykh
не-а, там какие-то типы

я не всё видео смотрел - только ту часть, где он 2d на 3d заменил и "оно взлетело... нечаянно"

0
21.01.2023

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

F# Chat F# Chat / Danieλ Sλapman
Подписаться

Приведу пару примеров напоследок: 1. Упомянутая выше сериализация. Сериализуемость можно было бы выразить, как интерфейс с методом типа "string ToJson()", да вот незадача - в ...

#fsharp #programming #russian
26.03.2024
0
4 ответов
F# Chat F# Chat / Андрій Чебукін
Подписаться

А что так нельзя 2 интерфейса объявить сразу? interface IViewModel<'model, 'msg> with member _.CurrentModel = helper.Model member _.UpdateModel(newModel: 'model) = ...

#fsharp #programming #russian
18.04.2024
0
2 ответов
F# Chat F# Chat / Boris Glebov
Подписаться

Всем привет! Подскажите как правильно сериализатору объяснить что null надо в int option конвертнуть? Пользуюсь FSharp.SystemTextJson Вот такой пример type RecordWithNulls...

#fsharp #programming #russian
10.03.2024
0
8 ответов
F# Chat F# Chat / Pavel S
Подписаться

Это норма для ФП вообще или тут принято как-то иначе делать? type ClassFileBuilder() = let magic = ClassFileMagic() let mutable versions: Option<ClassFileVersions> = ...

#fsharp #programming #russian
30.11.2023
0
2 ответов
F# Chat F# Chat / Андрій Чебукін
Подписаться

@vl_za в релизной студии на проекте Blazor WASM библиотеки при переименовании падает. Что-то он пытается найти несуществующий сгенерированный C# в F# проекте 😄 Создать репроду...

#fsharp #programming #russian
23.11.2023
0
1 ответов
F# Chat F# Chat / Odin Coool
Подписаться

а напомните плиз, можно ли как-то в райдере или vs указать, что вот это строковый параметр должен подсвечиваться при инициализации как sql или js?

#fsharp #programming #russian
19.02.2024
0
18 ответов
F# Chat F# Chat / Dr. Friedrich von Never
Подписаться

Я опять потерял сниппет с DI на SRTP, есть у кого?

#fsharp #programming #russian
23.03.2024
0
11 ответов
F# Chat F# Chat / Vlæd Zá
Подписаться

Представь, что у тебя есть условная модельданных module Company = type T = ... module Order = type T = (* тут ты юзаешь Company.T *) module Price = type T = (* тут...

#fsharp #programming #russian
27.03.2024
0
5 ответов
F# Chat F# Chat / dd
Подписаться

использование DU как гаранта последовательных шагов: module Steps = module Counter = type T(start) = let mutable _counter = start member ...

#fsharp #programming #russian
27.12.2023
0
5 ответов
F# Chat F# Chat / Ivan Pavlov
Подписаться

Со всеми этими приколами, как объяснить на проекте необходимость использования F# вместо C#?) Наличия Discriminated Unions будет не достаточно. Option уже давненько перекрыто ...

#fsharp #programming #russian
17.11.2023
0
28 ответов
Смотреть еще
F# Chat F# Chat
Подписаться
Вопросов 15267
Ответов 24650
Участников 1097
Telegram @fsharp_chat

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

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
подскажите пожалуйста, как мне освободить результат записанный в переменную result? в чем проблема подскажите если МОЖЕТЕ?
Михаил Helper
28
вопрос по москвину - не понимаю вот такого вопроса похоже Сколько разных всегда завершающихся функций с типом a -> a -> b -> a -> a можно реализовать? Две функции одинаково...
Fedor
11
Слушайте, ещё такая интересная задачка. Сделан аудит действий пользователей через триггеры в базе, соответственно каждый пользователь имеет свой логин и пароль в базе. Это пре...
Сергей Бычков
11
есть тут кто-то , кто только начал изучать си? если проходите курс на степике или как-то сами изучаете, пишите, может, скооперируемся?..
Eule
25
Скажите, тут нет проблемы? IMyInterface1 = interface function GetInterface2: IInterface2; ... function TMyInterface.GetInterface2: IInterface2; begin Result := TI...
Ruslan aka DUDE
18
Утра доброго. Просветите пожалуйста. Хочу сделать rest сервер на делфи. Посмотрел 3 фреймворка: dmvc, Mars, mormot. Ни в одном из них не упоминается ассинхронная обработка вхо...
Сергей Бычков
10
возможно для форматирования TimeStampZ нужен другой механизм, не?
Роман Лях (rgreat)
13
вопрос странный немного... в секции interface идёт константа const TableExt: array [0..39] of record _type: byte; _ext : string; end = ( (_type:typeDAT ...
Alexey Kulakov
5
Всем привет! Помогите разобраться с Lazarus. Переношу программу с Delphi 10.2 Tokyo на Lazarus 3.2. У меня есть строка string которая изначально имеет такое содержание (то чт...
Дмитрий Завгородний
4
Карта сайта