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
F# Chat F# Chat
Artyom-

Let getElementByCircuit = _.Id >> ToElementId let getCircuitId (c: Circuit) =

c.Id
let getElementByCircuit = getCircuitId >> ToElementId
Есть ли возможность указать явно тип в первой функции, дабы можно было использовать ее с нужным мне типом параметра, как вторую функцию? Сейчас у меня есть несколько record types с полем Id и в функции автоматически выводится не тот, который мне нужен

#fsharp #programming #russian
0

10 ответов

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

а чего так не сделать: let inline getId x = (^T : (member Id : ^U) x) ??

0
9 месяцев назад
Artyom- Автор вопроса
dd
а чего так не сделать: let inline getId x = (^T : ...

Так не будет работать)

0
9 месяцев назад
Artyom- Автор вопроса
dd
а чего так не сделать: let inline getId x = (^T : ...

Ан нет, работает

0
9 месяцев назад
dd-
Artyom
Так не будет работать)

почему? это ж более обобщенный вид вот этого: (fun (x: Circuit) = x.Id)

0
9 месяцев назад
Vlæd-Zá
dd
почему? это ж более обобщенный вид вот этого: (fun...

Не совсем. Это разные вещи с точки зрения языка и кодгена. У тебя в первом случае нету констрейнта и трейта в функции, во втором есть.

0
9 месяцев назад
dd-
Vlæd Zá
Не совсем. Это разные вещи с точки зрения языка и ...

то, что с т.з. языка - это понятно а вот то, что с т.з. кодгена - это нежданчик т.е. с сртп получается код медленее работать будет?

0
9 месяцев назад
Vlæd-Zá
dd
то, что с т.з. языка - это понятно а вот то, что с...

Всмысле нежданчик? сртп это инлайн

0
9 месяцев назад
Vlæd-Zá
dd
то, что с т.з. языка - это понятно а вот то, что с...

Не понимаю откуда вывод что медленнее

0
9 месяцев назад
dd-
Vlæd Zá
Не понимаю откуда вывод что медленнее

я думал, что будет так: let inline getId x = (^T : (member Id : ^U) x) (Circuit foo) // вот это: //|> getId // заинлайнится вот в это: |> fun x -> x.Id а после твоих сообщений я уже и не знаю чего думать :)

0
9 месяцев назад
Vlæd-Zá
dd
я думал, что будет так: let inline getId x = (^T :...

Я в N+1 раз советую почитать доки и спеку. В этот раз про инлайн и трейты.

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

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

F# Chat F# Chat / Андрій Чебукін
Подписаться

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

#fsharp #programming #russian
23.11.2023
0
1 ответов
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 / Ivan Pavlov
Подписаться

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

#fsharp #programming #russian
17.11.2023
0
28 ответов
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 / Odin Coool
Подписаться

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

#fsharp #programming #russian
19.02.2024
0
18 ответов
F# Chat F# Chat / Ivan Balanar
Подписаться

@omgszer а нет ли у тебя какого-нибудь боевого примера f# с логгером и логгер фабрикой, который ты описывал с неделю назад в пронете?

#fsharp #programming #russian
18.12.2023
0
23 ответов
F# Chat F# Chat / Danieλ Sλapman
Подписаться

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

#fsharp #programming #russian
26.03.2024
0
4 ответов
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 / Vlæd Zá
Подписаться

Мы о чем спорим кстати?

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

Ребят, а если сделать retype obj[] к более специфичному реф типу, ну например string[] и там гарантированно только стринги, что может пойти не так? retype это https://t.me/f...

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

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

У меня это всегда вопрос вызывало.. Нафига писать код так, чтобы потом ошибки вылавливать?
Nik
44
Всем привет. Сейчас я изучаю erlang по книге Erlang and OTP in action. Дошел до главы где реализуется первый gen server на примере tcp rpc сервера. Меня очень сильно смутил ко...
Freezing Death
10
что за асемблер кста?
Shvabrikk Nya
19
Добрый день! Пробую отловить исключение EConvertError: function _TryTextToDouble(var DoubleVar: Extended; Text: String): Boolean; begin try DoubleVar := StrToFloat...
Kirill Filippenok
19
всем привет. реально ли понять чем в процессе занята память? delphi/linux, процесс свой
Handatros
12
Подскажите... Есть ли название у способа разработки кода, в котором: сперва пишут минимальную рабочую структуру: Напр. ввод, обработка, вывод, контроль. Потом эту структуру д...
Budemposmotret
6
В дизассемблере вижу, что строки пихают в регистры через lea, почему так, а не через mov?
Oleg
8
А где @Grinyaha уважаемый пропал?
Am Ambrion
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Сделал краткий обзор магазина из статьи и заодно там же записал инструкцию по развёртыванию. https://www.youtube.com/watch?v=8-sE1vNk95Q (чё думаете по звуку? кое-что поменял...
Andrey K
17
Карта сайта