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+)
Delphi & Lazarus Delphi & Lazarus
OpenStreetMap RU OpenStreetMap RU
Visual Studio Code — русс... Visual Studio Code — русс...
ru_mysql ru_mysql
pro.lua pro.lua
GraphQL — русскоговорящее... GraphQL — русскоговорящее...
Evolution CMS развитие и ... Evolution CMS развитие и ...
Dart / Flutter Dart / Flutter
pro.Asm pro.Asm
OpenCartForum - 🇺🇦🇪🇺Чат O... OpenCartForum - 🇺🇦🇪🇺Чат O...
IDE и редакторы — русског... IDE и редакторы — русског...
Angular.js (1.x) — русско... Angular.js (1.x) — русско...
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
dlang.ru dlang.ru
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
PHP DevConf KZ🇰🇿 PHP DevConf KZ🇰🇿
Delphi Community Delphi Community
Autohotkey_RU ( v1 & v2 ) Autohotkey_RU ( v1 & v2 )
Server Side Swift Develop... Server Side Swift Develop...
pro.rb (Ruby/Rails / RU) pro.rb (Ruby/Rails / RU)
RubyRush.ru RubyRush.ru
Oracle RU Oracle RU
DevOps DevOps
Software Design/Architect... Software Design/Architect...
sql_ninja sql_ninja
Modern::Perl Modern::Perl
Odoo talks & fun Odoo talks & fun
AndroidDev Pro:: Професси... AndroidDev Pro:: Професси...
WordPress for developers WordPress for developers
ru.nim.talks ru.nim.talks
PowerShellRus - о Powersh... PowerShellRus - о Powersh...
Эльбрусы и с чем их едят Эльбрусы и с чем их едят
Java/Kotlin and more Java/Kotlin and more
pro.buildsystems pro.buildsystems
Powershell Rus Powershell Rus
Haskell Start Haskell Start
Python для анализа данных Python для анализа данных
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
phpclub.ru phpclub.ru
ErlangRus ErlangRus
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
Electron.js Electron.js
QA juniors QA juniors
GameDev for Web GameDev for Web
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 — Официальное Р...
PostgreSQL (English) PostgreSQL (English)
Emacs — русскоговорящее с... Emacs — русскоговорящее с...
Ember_js Ember_js
FreePascal & Lazarus FreePascal & Lazarus
Tilda Developers Tilda Developers
Django Django
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
Haskell Haskell
Евгений-Погребняк

Нашел новую книгу про лямба исчисление, дошел до альфа, бета

screenshot

и еще какая-то греческая буква (ню?) трасформации/редукции лямбда выражений (картинка). Вопрос - referential transparency - это реализация этих трансформаций на сути или нет?

#haskell #programming #russian
0

17 ответов

8 просмотров
Maxim-Koltsov

Буква называется эта

0
24.10.2020
іва-

буква называется "эта". по сути вопроса не знаю, потому что я его не понимаю. что такое referential transparency?

0
24.10.2020
Cheese-Syrowiecki

нет, referential transparency к этому вопросу не имеет отношения

0
24.10.2020
Cheese-Syrowiecki

точнее, в ЛИ это всё работает благодаря ссылочной прозрачности

0
24.10.2020
Cheese-Syrowiecki
іва
буква называется "эта". по сути вопроса не знаю, п...

вводим обозначение y = f x. если в любом месте можно заменить y на f x и наоборот, то ссылочная прозрачность есть

0
24.10.2020
Евгений-Погребняк Автор вопроса
Cheese Syrowiecki
нет, referential transparency к этому вопросу не и...

Для нубов - referential transparency-это свойство языка, а не трансформаций/редукций в ламбда исчислении, правильно?

0
24.10.2020
Евгений-Погребняк Автор вопроса
Cheese Syrowiecki
вводим обозначение y = f x. если в любом месте мож...

Снова для нубов - а поменять y на f x - это не альфа-конверсия?

0
24.10.2020
іва-
Cheese Syrowiecki
вводим обозначение y = f x. если в любом месте мож...

Название из C пришло, где есть передача аргумента по ссылке или по указателю? Или это никак не связано?

0
24.10.2020
Cheese-Syrowiecki
Евгений Погребняк
Снова для нубов - а поменять y на f x - это не аль...

нет. вообще никакой связи. даже не знаю, как на это ответить, кроме как предложить прочитать определение ещё раз

0
24.10.2020
іва-
Евгений Погребняк
Снова для нубов - а поменять y на f x - это не аль...

Нет, альфа-конверсия это поменять y на z например

0
24.10.2020
Cheese-Syrowiecki
іва
Название из C пришло, где есть передача аргумента ...

говорят, название из философии пришло https://stackoverflow.com/questions/210835/what-is-referential-transparency

0
24.10.2020
Cheese-Syrowiecki
іва
Название из C пришло, где есть передача аргумента ...

в С нет ссылок (отдельных от указателей), только в С++, если вы об этом

0
24.10.2020
Cheese-Syrowiecki
Евгений Погребняк
Снова для нубов - а поменять y на f x - это не аль...

возможно, это для вас похоже на подстановку, а подставка — это бета-редукция. да, это она, но фишка прозрачности в обратной подстановке.

0
24.10.2020
іва-
Cheese Syrowiecki
говорят, название из философии пришло https://stac...

спасибо за ссылку. я там самый популярный комментарий прочитал, пойду читать статью Starchey, разбираться что такое l-value и r-value.

0
24.10.2020

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

Haskell Haskell / ☮️ (*_*)🔻owhi🔻(λ_λ) ☮️
Подписаться

И что по вашему главная причина столь скудного кол-ва вакансий на столь чудесный язык ?

#haskell #programming #russian
14.09.2023
0
56 ответов
Haskell Haskell / Andrey
Подписаться

хорош флудить! какие вопросы по существу не отвечены?

#haskell #programming #russian
14.09.2023
0
26 ответов
Haskell Haskell / Cheese Syrowiecki
Подписаться

как сгенерить случайный KeyPair? https://hackage.haskell.org/package/cryptonite-0.30/docs/Crypto-PubKey-ECC-ECDSA.html#t:KeyPair

#haskell #programming #russian
01.09.2023
0
25 ответов
Haskell Haskell / Nick By
Подписаться

Подскажите какой сейчас рекомендованный подход с передачей опциальных (optional) параметров в функцию? Я нашел по крайней мере 6 возможности. 1. Использывать библиотеку Data....

#haskell #programming #russian
08.10.2023
0
15 ответов
Haskell Haskell / Yan Shkurinskiy
Подписаться

А как тогда сравниваете?

#haskell #programming #russian
14.09.2023
0
23 ответов
Haskell Haskell / Nick By
Подписаться

я читаю книжкуHaskell Programming и не совсем понял вот это предложение: "Applicative, we saw, is a monoidal functor, and gives us a way to transform any values contained with...

#haskell #programming #russian
26.09.2023
0
8 ответов
Haskell Haskell / Danil Berestov
Подписаться

че значит одна функция с разным количеством аргументов?

#haskell #programming #russian
08.08.2023
0
24 ответов
Haskell Haskell / Eugene
Подписаться

Здравствуйте! Не знаю, у кого спросить, поэтому пишу сюда. Я читаю про патnерны проектирования. Есть утверждение про factory method, которое я не понимаю: "Система должна ос...

#haskell #programming #russian
24.10.2023
0
2 ответов
Haskell Haskell / Dmitry Zuikov
Подписаться

Все уже перешли на 9.4.6 ? Стоит ли оно того? Смотрю, в никсовых пакетах уже местами есть

#haskell #programming #russian
15.10.2023
0
15 ответов
Haskell Haskell / Strange Rabbit
Подписаться

Какую задачу ваша решает эффективнее уже имеющихся?

#haskell #programming #russian
14.11.2023
0
12 ответов
Смотреть еще
Haskell Haskell
Подписаться
Вопросов 19366
Ответов 31813
Участников 1647
Telegram @haskellru

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

А чем вам питонисты не угодили?😂
.
79
Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
75
Ещё такой вопрос. Мне необходимо хранить пароль пользователя локально. Для этого планирую использовать ini файл. Это для автозаполнения полей логин и пароль при авторизации. Е...
Евгений
19
Ты просто гитлеровскую эстетику плохо понимаешь. Он же всё под Цезаря делал. А это как бы запрещённый приём в политике. Пиджаки они зачем все носят? Чтобы показать что они тип...
Ivan Kropotkin
4
а чем лучше всего сделать глобальный лок, если много нодов, до сотни? ну то есть мне надо, чтобы некоторые операции с объектом не происходили одновременно. перемещение между н...
Д. П.
15
А как лучше конвертировать физический адрес в виртуальный при маппинге? В случае ядра у меня, например, direct mapping, первые 768МБ я как есть мапплю в higher half, а остальн...
Evg Resh
26
Hi guys, I'm looking for a good LLM course. Is there any course to learn LLMs in advanced? I'm aiming to use them in my apps, so a perfect course in my openion, is not only a ...
Taha
14
База данных не поможет. Шифрование не поможет. Какие там ещё варианты? Накидывайте.
КТ315
20
А табстоп это сообщение от окна или от элемента управления?
The Bird of Hermes
18
$params = [ 'formid' => 'feedbackForm', 'formTpl' => '@CODE: <form class="form-validate" data-id="ajax_form"> <fieldset class="margin-bottom-md"> ...
Pathologic
1
Карта сайта