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 для анализа данных
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
Haskell Start Haskell Start
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
phpclub.ru phpclub.ru
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
ErlangRus ErlangRus
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 — русскоговорящее с...
PostgreSQL (English) PostgreSQL (English)
Ember_js Ember_js
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
Scala User Group Scala User Group
Юрий-Бадальянц

@Rudogma привет! В supertagged почему в NewType и в NewType0

метод lift сделан по разному?

#programming #russian #scala
0

10 ответов

7 просмотров
Mikhail-S

В NewType0 нет type member Raw, чтобы не ограничивать в каком виде оно будет представлено, поэтому этот Raw указан как тайп параметр для метода lift. А NewType - конкретно вырожденная версия, в которой все известно и это просто сокращенная версия, чтобы не писать при вызове метода. В остальном одно и то же

0
27.11.2020
Юрий-Бадальянц Автор вопроса
Mikhail S
В NewType0 нет type member Raw, чтобы не ограничив...

А как мне тогда применить lift в NewType0? Вот есть у меня инстанс Monad для типа, хочу его лифтануть в ньютайп.

0
27.11.2020
Mikhail-S

Возможно стоило бы в NewType0 написать lift0, чтобы можно было в наследниках сокращенные версии привычным образом добавлять

0
27.11.2020
Mikhail-S
Юрий Бадальянц
А как мне тогда применить lift в NewType0? Вот ест...

MyNewtype.lift[F, MyNewtype.Raw] - примерно так. Но я думаю, что действительно стоит переименовать в lift0 и обновить сегодня.

0
27.11.2020
Юрий-Бадальянц Автор вопроса
Mikhail S
MyNewtype.lift[F, MyNewtype.Raw] - примерно так. Н...

А если у меня Raw вида Raw[F, A] и я хочу лифтануть lift[Monad, Raw[F, *]]? Так вообще можно, или только конкретизируя A?

0
27.11.2020
Mikhail-S
Юрий Бадальянц
А если у меня Raw вида Raw[F, A] и я хочу лифтанут...

В теории можно, если Raw[F,*] является для тебя конкретным типом, но точно потеряется инфа об A в готовом ньютайпе. Надо пробовать, если не получится - напиши похожий скасти, подумаю

0
27.11.2020
Юрий-Бадальянц Автор вопроса
Mikhail S
В теории можно, если Raw[F,*] является для тебя ко...

https://scastie.scala-lang.org/LMnet/thofyXs1RY6DYQeyEJUwFg/5

0
27.11.2020
Mikhail-S
Юрий Бадальянц
https://scastie.scala-lang.org/LMnet/thofyXs1RY6DY...

Тут собака в `type Kokoko[F[_]] = EitherT[WriterT[F, List[String], *], String, *] type Λ$ takes type parameters ` Что-то много дырок. Выглядит переусложнением, но я подумаю.

0
27.11.2020
Юрий-Бадальянц Автор вопроса
Mikhail S
Тут собака в `type Kokoko[F[_]] = EitherT[WriterT...

Ну не совсем же, ведь type Raw[F[_], A] = EitherT[WriterT[F, List[String], *], String, A]

0
27.11.2020
Mikhail-S
Юрий Бадальянц
Ну не совсем же, ведь type Raw[F[_], A] = EitherT[...

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

0
27.11.2020

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

Scala User Group Scala User Group / Иван Третьяков
Подписаться

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

#programming #russian #scala
14.10.2023
0
8 ответов
Scala User Group Scala User Group / Dmitriy Knyaginin
Подписаться

Кто то видел вакансии Scala джунов ?

#programming #russian #scala
28.10.2023
0
22 ответов
Scala User Group Scala User Group / Romcheg
Подписаться

Кругозор это, конечно, очень хорошо. Но только вот все равно не даёт покоя вопрос - зачем оно вообще нам нужно? С ООП все понятно, оно даёт абстракции, более менее приближенны...

#programming #russian #scala
08.08.2023
0
28 ответов
Scala User Group Scala User Group / Nick Gushchin
Подписаться
screenshot

Ребят, всем привет!) Столкнулся проблемой — течет приложение на зио и немножко http4s, в дампе такая картина: в zio файбер контексте валяется reportFailure, содержит миллиар...

#programming #russian #scala
25.09.2023
0
23 ответов
Scala User Group Scala User Group / Nagllort
Подписаться

всем привет, есть тестовый трейт Monad в котором определен метод flatten2. trait Monad[F[_]] { def flatMap2[A, B](fa: F[A])(f: A => F[B]): F[B] def flatten2[A](f: F[...

#programming #russian #scala
10.11.2023
0
7 ответов
Scala User Group Scala User Group / Андрей Ладний
Подписаться

Выглянул за пределы akka и глянул в сторону zio. Возник вопрос, он больше абстрактный, архитектурный, но возник как результат. А как организовать общение между микросервисами?...

#programming #russian #scala
27.09.2023
0
14 ответов
Scala User Group Scala User Group / Oleg Andronov
Подписаться

собираюсь с шарпов переучиваться на скалу, какие подводные?😃

#programming #russian #scala
19.07.2023
0
20 ответов
Scala User Group Scala User Group / Андрей Ладний
Подписаться

Не существенный, но всплыл вопрос. Если все функции при использовании zio писать в виде f(a:A) : ZIO[R, E, B] и использовать for comprehension, то всегда в последней операции ...

#programming #russian #scala
12.10.2023
0
12 ответов
Scala User Group Scala User Group / Vitaly Olegovich
Подписаться

Доброе утро! Как вы думаете, легче ли найти работу, изучив ZIO или cats-effect? На какой библиотеке сейчас больше проектов?

#programming #russian #scala
21.10.2023
0
12 ответов
Scala User Group Scala User Group / 𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Подписаться

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

#programming #russian #scala
16.10.2023
0
4 ответов
Смотреть еще
Scala User Group Scala User Group
Подписаться
Вопросов 19837
Ответов 30736
Участников 2395
Telegram @scala_ru

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

Комрады, посоветуйте, куда копать? Стал прикручивать кастомизацию тем. В OnShow главной главной формы пытаюсь загрузить из файла настроек и применить тему (на скрине, как долж...
Ed Doc
13
OnShow один раз вызывается? или возможен Hide?
Iluha Companets
14
Такс, блин, таки кто-то знает, каким образом работают макросы stdin/stdout/stderr? Я влез в stdio.h, там определения нет, отладил через асмокод - вызывается функция со странны...
The Bird of Hermes
18
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Всем привет, на линуксе лучше на fasm или nasm учиться писать для начала ?
meszjol
14
Если у меня есть такой класс: Object = {} function Object:new(a_name, a_transform, a_color, a_mesh, a_material, a_shader, a_textures) local private = {} private.n...
Cuarno Vile
4
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
@sand_witch скорее к тебе вопрос, добавил в .cabal webdriver-w3c и вот такая ошибка от nix develop error: Package ‘script-monad-0.0.4’ in /nix/store/7vdxbra0kwbr0ys0kc5...
Fedor
5
@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
зачем же переименовывать ? чтобы кол-во участников возросло или вдруг IBM от этого снова на свифте начнет кодить ? Я не понимаю что страшного в том что свифт гавно, если это т...
Oleh Nerzh
10
Карта сайта