React — русскоговорящее с...
Android Developers
Python
Vue.js — русскоговорящее ...
supapro.cxx
DotNetRuChat
GNU/Linux Help
Telegram Developers
Node.js — русскоговорящее...
DevOps — русскоговорящее ...
JavaScript Noobs — сообще...
![Django [ru]](https://image.telq.org/channel_avatar_1063854692_12437233608009742_mini.jpeg){kind=avatar}
Django [ru]
Go-go!
Angular - русскоговорящее...
ntwrk
Верстка сайтов HTML/CSS/J...
phpGeeks
Kubernetes — русскоговоря...
Битрикс для разработчиков
MODX. Русскоязычное сообщ...
pgsql – PostgreSQL
Laravel Pro
iOS Developers — русского...
ClickHouse не тормозит
Rust — русскоговорящее со...
JavaScript — русскоговоря...
С#
pro.cxx
pro.jvm
React Native — русскогово...
Devs Chat
Docker — русскоговорящее ...
HTML/CSS — русскоговоряще...
Python beginners
🐧 RU.UBUNTU — Официальное...
Kotlin Community
Embedded Group
Чат экстремального погром...
aiogram
Scala User Group
Haskell
PHP
TypeScript
Клуб Vue.js-разработчиков
Xamarin Developers (MAUI,...
F# Chat
![Svelte [svelt] - All abou...](https://image.telq.org/channel_avatar_1142273288_5399907573915831550_mini.jpeg){kind=avatar}
Svelte [svelt] - All abou...
Системное администрирован...
Nuxt.js | Vue SSR
var chat = new Chat();
Data Science Chat
Ассемблер
Android Architecture
Laravel для начинающих
Церковь метрик
Dart & Flutter
QA — русскоговорящее сооб...
Tarantool
pro.elixir
Python Flask
SAP ABAP
R (язык программирования)
learn.java
DevsHelper
Big Data Science :: AI / ...
SwiftBook
Solidity Development
Delphi & Lazarus
pro.net (former COM+)
OpenStreetMap RU
Visual Studio Code — русс...
Evolution CMS развитие и ...
ru_mysql
pro.lua
Dart / Flutter
GraphQL — русскоговорящее...
pro.Asm
OpenCartForum - 🇺🇦🇪🇺Чат O...
IDE и редакторы — русског...
Angular.js (1.x) — русско...
Frontend_ru
Flutter Developers — русс...
Lame C
AutoIT RU
AI / Искусственный Интелл...
dlang.ru
Laravel Framework Russian...
WebPwnChat
Чат — Верстка Сайтов и Фр...
pro.python
Java Underground
Natural Language Processi...
javascript_ru
SqlCom.ru - сообщество MS...
Cinema 4D
pro.vim
Delphi Community
Server Side Swift Develop...
PHP DevConf KZ🇰🇿
Autohotkey_RU ( v1 & v2 )
pro.rb (Ruby/Rails / RU)
RubyRush.ru
Modern::Perl
Oracle RU
DevOps
Software Design/Architect...
ru.nim.talks
Odoo talks & fun
sql_ninja
AndroidDev Pro:: Професси...
WordPress for developers
PowerShellRus - о Powersh...
Эльбрусы и с чем их едят
Java/Kotlin and more
pro.buildsystems
Powershell Rus
Haskell Start
Python для анализа данных
Скрипты Гугл, Таблицы, Go...
ErlangRus
WebGL ru
Compiler Development
firebase_ru — русскоговор...
phpclub.ru
Electron.js
RU.CRYPTOGRAPHY — Криптог...
MySQL
QA juniors
GameDev for Web
pro.osdev - os developmen...
Lame C++
Go Get A Job
PostgreSQL (English)
Ember_js
RU.Docker — Официальное Р...
Emacs — русскоговорящее с...
Tilda Developers
FreePascal & Lazarus
WordPress – русскоговорящ...
Django
Язык программирования Jul...
sentry_ru
ReasonML и OCaml
WebAssembly — русскоговор...
ansible — русскоговорящее...
Сrystal Lang — русскогово...
aiohttp
Clojure — русскоговорящее...
heroku_ru
PowerShell Pro
macOS Developers — русско...
systemd
use Perl or die;
FORTH и родственные ЯП
Natural Language Processi...
ru_jenkins
CatBoost
CyberBiology
Sequelize - community (en...
sonarqube_ru
Elm Lang сообщество разра...
SublimeText_RU
NativeScript
WordPress CodeRun
ReactiveX - русскоговорящ...
PureScript — русскоговоря...
#Вайти
Эликсир и Вунш
Cassandra
Representation at compile time. C compilers view arrays as continous
blocks of memory. Such a representation while producing the expected assembly will reduce the transformations we have at hand for optimizing said strucuture. An example would be slicing arrays where we would have to do thing manually in C/C++ and either rely on templates to abstract it away of be very careful in operating on the array. Higher level languages which view arrays as objects would simply produce two new array objects for us to operate on. This would deal with copying in case we need the original array, in-place modification if we do not reference the original since we can simply treat the new array objects as regular arrays even when they are just "views" of a much larger array. Again in C/C++ you would have to do all of the work manually which is very error prone and is usually avoided as reliable software has a higher value than efficiency of certain operations. We lose a possible optimization simply by C/C++'s representation of arrays not being abstract enough. This is one possible out of many more such as loop fusion which is done but not a guarantee as it is in haskell with folds (if it's an explicit fold we can remove all immediate representations and fuse loops). This is why in haskell we gain performance by using a higher level representation and operations rather than lose it as the compiler has much more to work with. Catamorphisms and Anamorphisms used for mergesort comes into mind as they seem to be inefficient as ana builds structures only for cata to reduce them again directly after. However, given that cata is an explicit fold and ana is an explicit unfold the compiler (GHC) is able to detect this and erase all immediate structures and transform the algorithm to a near hand optimized core representation. Why? Haskell is aware of folds. Could C do such things? No, unless you make C aware of more it is simply not possible to take advantage of such things. Can Java do this? Yes for anything relying on higher level abstract types since the compiler is aware of it.
1 ответов
Source?
Похожие вопросы
Обсуждают сегодня