Большинство разработчиков, к сожалению, считают функциональное программирование чем-то страшным и не понятным, но это совершенно не так. В своем докладе я хочу показать мощь и простоту функционального подхода, рассказать о базовых концепциях и о том, как с их помощью можно делать привычные вещи удивительным образом, а так же расскажу о новых приемах.
Статический и динамический полиморфизм в C++, Дмитрий ЛевановYandex
На примере некоторых архитектурных решений Крипты Дмитрий расскажет о способах реализации полиморфного поведения в программах на C++, о преимуществах и недостатках этих способов, а также о новых возможностях C++11.
Статический и динамический полиморфизм в C++, Дмитрий ЛевановYandex
На примере некоторых архитектурных решений Крипты Дмитрий расскажет о способах реализации полиморфного поведения в программах на C++, о преимуществах и недостатках этих способов, а также о новых возможностях C++11.
Статический и динамический полиморфизм в C++, Дмитрий ЛевановYandex
На примере некоторых архитектурных решений Крипты Дмитрий расскажет о способах реализации полиморфного поведения в программах на C++, о преимуществах и недостатках этих способов, а также о новых возможностях C++11.
Статический и динамический полиморфизм в C++, Дмитрий ЛевановYandex
На примере некоторых архитектурных решений Крипты Дмитрий расскажет о способах реализации полиморфного поведения в программах на C++, о преимуществах и недостатках этих способов, а также о новых возможностях C++11.
Метапрограммирование в C++11/14 и C++17. Новые инструменты - новые проблемы.Roman Orlov
В докладе будут затронуты принципиальные вопросы — зачем нам программировать на шаблонах, как мы это делаем в C++11/14 и как будем это делать в C++17. Проведем параллель с функциональными языками (привет Haskell!). На примере реального кода разберем fold-expressions и увидим, чем опасен constexpr-if. А также взглянем на метапрограммирование в стиле C++11/14 и C++17 глазами компилятора.
Функциональное программирование с использованием библиотеки fp-ts | Odessa Fr...OdessaFrontend
Дмитрий Ховрич рассказывает как использовать строгую типизацию TypeScript и писать надёжный код в функциональном стиле. А также делится знаниями как использовать функторы и монады в ежедневной фронтенд разработке.
Обобщенное программирование в C++ или как сделать свою жизнь проще через стра...corehard_by
Обобщенное программирование - это подход к программированию, когда алгоритм пишется без указания конкретных типов данных. Используя данный подход можно значительно увеличить количество повторно используемого кода. В C++ данный подход реализуется за счет механизма шаблонов. В данном докладе рассмотрим некоторые возможности по обобщенному программированию, которые предоставляет C++. На конкретных примерах рассмотрим, как они могут упростить нам жизнь и с какими трудностями приходится сталкиваться при их использовании.
В лекции подробно рассмотрены тонкие моменты языка JavaScript, с которыми часто возникают основные проблемы. Наглядные примеры и рецепты помогают лучше понять его особенности.
Полухин Антон, Как делать не надо: C++ велосипедостроение для профессионаловSergey Platonov
В докладе перед нами откроется великолепный мир велосипедов и устаревших технологий, которые люди продолжают переносить в новые проекты и повсеместно использовать. Мы поговорим о:
Copy-On-Write
разработке без оглядки на готовые решения и к чему это приводит
force inline
оптимизациях, которые отлично себя показывают на бенчмарках и плохо себя ведут в реальной жизни
бездумно отключаемых оптимизациях компилятора
тонкостях стандартной библиотеки для повседневного использования
супер качественном велосипедостроении
Павел Беликов, Как избежать ошибок, используя современный C++Sergey Platonov
Одной из проблем C++ является большое количество конструкций, поведение которых не определено или просто неожиданно для программиста. С такими ошибками мы часто сталкиваемся при разработке статического анализатора кода. Но, как известно, лучше всего находить ошибки ещё на этапе компиляции. На этом докладе мы поговорим о том, какие техники из современного C++ позволяют писать не только более простой и выразительный, но и безопасный код. Вы увидите ошибки в коде различных Open Source проектов и узнаете, как можно их избежать, используя новые стандарты
parboiled2 – A Macro-Based PEG Parser Generator for Scala 2.10.3+Alexander Myltsev
parboiled2 – A Macro-Based PEG Parser Generator for Scala 2.10.3+
Доклад (https://www.youtube.com/watch?v=kZto4nWVlmA) от 29 мая для Moscow Scala Group (http://www.meetup.com/Scala-Moscow/events/180007162/)
Definicion de hardware y software Victoriaeslyvictora
Este documento define hardware y software y describe varios ejemplos de cada uno. Define el hardware como los periféricos de entrada y salida como mouse, teclado, escáner y monitor. Describe el software como programas y datos que permiten que funcione un sistema computacional e incluye ejemplos como procesadores de texto y programas de presentación. También habla sobre el almacenamiento de información en dispositivos como discos duros.
Метапрограммирование в C++11/14 и C++17. Новые инструменты - новые проблемы.Roman Orlov
В докладе будут затронуты принципиальные вопросы — зачем нам программировать на шаблонах, как мы это делаем в C++11/14 и как будем это делать в C++17. Проведем параллель с функциональными языками (привет Haskell!). На примере реального кода разберем fold-expressions и увидим, чем опасен constexpr-if. А также взглянем на метапрограммирование в стиле C++11/14 и C++17 глазами компилятора.
Функциональное программирование с использованием библиотеки fp-ts | Odessa Fr...OdessaFrontend
Дмитрий Ховрич рассказывает как использовать строгую типизацию TypeScript и писать надёжный код в функциональном стиле. А также делится знаниями как использовать функторы и монады в ежедневной фронтенд разработке.
Обобщенное программирование в C++ или как сделать свою жизнь проще через стра...corehard_by
Обобщенное программирование - это подход к программированию, когда алгоритм пишется без указания конкретных типов данных. Используя данный подход можно значительно увеличить количество повторно используемого кода. В C++ данный подход реализуется за счет механизма шаблонов. В данном докладе рассмотрим некоторые возможности по обобщенному программированию, которые предоставляет C++. На конкретных примерах рассмотрим, как они могут упростить нам жизнь и с какими трудностями приходится сталкиваться при их использовании.
В лекции подробно рассмотрены тонкие моменты языка JavaScript, с которыми часто возникают основные проблемы. Наглядные примеры и рецепты помогают лучше понять его особенности.
Полухин Антон, Как делать не надо: C++ велосипедостроение для профессионаловSergey Platonov
В докладе перед нами откроется великолепный мир велосипедов и устаревших технологий, которые люди продолжают переносить в новые проекты и повсеместно использовать. Мы поговорим о:
Copy-On-Write
разработке без оглядки на готовые решения и к чему это приводит
force inline
оптимизациях, которые отлично себя показывают на бенчмарках и плохо себя ведут в реальной жизни
бездумно отключаемых оптимизациях компилятора
тонкостях стандартной библиотеки для повседневного использования
супер качественном велосипедостроении
Павел Беликов, Как избежать ошибок, используя современный C++Sergey Platonov
Одной из проблем C++ является большое количество конструкций, поведение которых не определено или просто неожиданно для программиста. С такими ошибками мы часто сталкиваемся при разработке статического анализатора кода. Но, как известно, лучше всего находить ошибки ещё на этапе компиляции. На этом докладе мы поговорим о том, какие техники из современного C++ позволяют писать не только более простой и выразительный, но и безопасный код. Вы увидите ошибки в коде различных Open Source проектов и узнаете, как можно их избежать, используя новые стандарты
parboiled2 – A Macro-Based PEG Parser Generator for Scala 2.10.3+Alexander Myltsev
parboiled2 – A Macro-Based PEG Parser Generator for Scala 2.10.3+
Доклад (https://www.youtube.com/watch?v=kZto4nWVlmA) от 29 мая для Moscow Scala Group (http://www.meetup.com/Scala-Moscow/events/180007162/)
Definicion de hardware y software Victoriaeslyvictora
Este documento define hardware y software y describe varios ejemplos de cada uno. Define el hardware como los periféricos de entrada y salida como mouse, teclado, escáner y monitor. Describe el software como programas y datos que permiten que funcione un sistema computacional e incluye ejemplos como procesadores de texto y programas de presentación. También habla sobre el almacenamiento de información en dispositivos como discos duros.
El documento presenta un grupo de 6 estudiantes de la Universidad Mariano Gálvez de Guatemala que trabajarán en un proyecto sobre sus sueños y como estos pueden ayudarles a lograr sus metas. El proyecto estará guiado por el Licenciado Albertico Herlindo Bolaños López en el curso de Tecnología Educativa y se llevará a cabo el 1 de agosto de 2015.
Specialist palliative care services conducted a survey to assess current needs. The results showed that approximately 60% of services felt they did not have sufficient resources to meet client needs. Regional and remote services reported providing more services like case conferencing, medication advice, and referrals to general practitioners for clients with aged care packages compared to major city services. Overall, the survey found gaps in resources for palliative care services and greater service provision needs in rural and remote areas to support aged care.
Mindomo es una herramienta web gratuita para crear mapas mentales y conceptuales de forma sencilla. Permite exportar los mapas a varios formatos como imagen, archivo de texto, RTF y PDF. Además, permite incluir diferentes tipos de contenido como texto, hipervínculos, videos, música e imágenes.
El documento lista los nombres de 13 estudiantes de primer grado, incluyendo sus nombres completos y el nivel al que pertenecen. Todos los estudiantes mencionados están en el nivel primero A.
Govardhana MT is seeking a position as a Design Engineer in a reputed VLSI industry to further enhance skills in a fast-paced environment. He has over 1 year of experience in mixed-signal/analog layout design using Cadence Virtuoso for technologies including 400nm, 350nm, and 65nm as a Block Level Designer. He is an Electronics and Communication Engineer with strong technical skills in layout and schematic tools who received high marks throughout his education.
Este documento narra la historia de un pequeño pueblo donde se construye una nueva y moderna escuela con la llegada de un robot maestro. El robot introduce a los alumnos a nuevas tecnologías de enseñanza como espejos y prismas que van influyendo en los habitantes del pueblo. Finalmente, los prismas son robados revelando que formaban parte de un plan para deshumanizar a la población conocido como Operación 2000.
En 1997, tres amigos formaron la banda de ska punk y reggae Once Tiros en Montevideo, Uruguay. Con el tiempo fueron agregando más miembros e instrumentos para expandir su sonido. En 2002 lanzaron su primer álbum "Parvadomus" y tuvieron su primer concierto masivo. A lo largo de los años han lanzado varios álbumes más y han realizado giras por Uruguay, Argentina y España, celebrando 15 años de carrera en 2014.
El documento presenta diferentes recursos audiovisuales que pueden utilizarse en la enseñanza como carteles, retroproyectores, cámaras de fotos, historietas, radio, publicidad, video, televisión, cine, pizarras interactivas y proyectores multimedia. Explica brevemente cada recurso y cómo pueden reforzar las explicaciones del maestro y mejorar el aprendizaje de los estudiantes.
Calidad,productividad y competitividad.Jairo Duran
El documento discute los conceptos de calidad, productividad y competitividad. Define la calidad como las propiedades inherentes a un producto que permiten caracterizarlo y valorarlo con respecto a otros de su especie. La calidad se fundamenta en aspectos como calidad, costo, entrega, servicio, confiabilidad y tolerancia. La productividad es la relación entre la producción y los insumos, y conduce a una mayor competitividad.
Online Behaviors in Key International & Emerging MarketsFrederic Gonzalo
The document discusses online behaviors in international and emerging travel markets. It covers the online travel decision making process, how effectiveness of online tactics varies by country, and the role of online travel agencies (OTAs) and social media. Key points include that online tools have different impacts in different countries' travel decision processes, Asia leads in mobile usage and commerce followed by Europe and North America, and popular social media and apps differ by region requiring localized strategies.
Everyday that goes by, I read yet another article or blog post about new milestones reached by this or that social media. And if you pay close attention, many of them involve the travel and hospitality vertical.
Построение компилятора на базе LLVM — Павел СычевYandex
Мы поговорим про компиляторы и их архитектуру. Обсудим, что же такое LLVM и зачем он нам нужен. Также рассмотрим, как написать компилятор простого языка программирования на LLVM.
Лекция 8. Итераторы, генераторы и модуль itertools.Roman Brovko
Два протокола итераторов: __next__ + __iter__ и __getitem__. Итераторы и цикл for, а также операторы in и not in. Генераторы, оператор-выражение yield. Генераторы как: итераторы, сопрограммы, менеджеры контекста. Модуль itertools.
Юрий Ефимочев, Компилируемые в реальном времени DSL для С++ Sergey Platonov
В последнее время в промышленной разработке ПО особую популярность обретают Domain-Specific Lanugages (DSL). Они драматически упрощают разработку и дают возможность “программировать” не только программистам, но и пользователям прикладных программ.
В своем докладе я расскажу об опыте использования DSL применительно к С++, причем упор будет сделан на производительность кода DSL, и его мгновенную “встраиваемость” в запущенную программу путем компиляции DSL-кода в нативный код с помощью инструментария LLVM.
Tech Talks @NSU: Как приручить дракона: введение в LLVMTech Talks @NSU
http://techtalks.nsu.ru
Видеозапись: http://www.youtube.com/watch?v=v7uBLSm6ft8
06 октября 2015. Как приручить дракона: введение в LLVM (Дмитрий Кашицын, HDsoft)
«В этом докладе мы кратко расскажем о таком звере, о котором много кто слышал, но немногие щупали. Что такое компилятор на самом деле? Чем LLVM отличается от других компиляторов? Как в LLVM происходит компиляция программы, как работают оптимизации? Наконец, какой путь проходит программа от разбора исходного текста до генерации исполняемого файла?
Лекция будет обзорной и не потребует от слушателей глубоких знаний теории компиляторов.»
Лекция прочитана в рамках проекта Tech Talks @NSU – серии открытых лекций о разработке ПО и карьере в IT, проводимых в Новосибирском государственном университете.
Подробности: http://techtalks.nsu.ru
10 июня 2015. Дмитрий Кашицын (HDsoft) дает обзор LLVM.
http://techtalks.nsu.ru
Видеозапись: https://plus.google.com/events/ctes98f7uhf19t5jlvlbk24dan4
В этом докладе мы кратко расскажем о таком звере, как LLVM, о котором много кто слышал, но немногие щупали. Что такое компилятор на самом деле? Чем LLVM отличается от других компиляторов? Как в LLVM происходит компиляция программы, как работают оптимизации? Наконец, какой путь проходит программа от разбора исходного текста до генерации исполняемого файла?
Лекция будет обзорной и не потребует от слушателей глубоких знаний теории компиляторов.
Лекция прочитана в рамках проекта Tech Talks @NSU – серии открытых лекций о разработке ПО и карьере в IT, проводимых в Новосибирском государственном университете.
Подробности: http://techtalks.nsu.ru
Есть такая штука как инструментирование кода. Мало кто знает о ней, даже пользуясь результатами ее применения. Между тем, с инструментированием можно делать много всего интересного и, главное, полезного. Например, это может вам помочь лучше понять код или сделать процесс разработки более эффективным. Примеры инструментирования кода и принципы его работы.
Что нам стоит DAL построить? Акуляков Артём D2D Just.NETDev2Dev
Работа с данными - это ключевая функция большинства приложений. Но работать с данными не так просто как кажется. С одной стороны, нам нужна производительность, с другой все best practices диктуют нам принцип persistence ignorance, с третьей еще и хочется писать красивый и понятный код. Как найти баланс между всем этим? Чем хороший IRepository отличается от плохого? Что такое CQRS и причем тут функциональное программирование? Об этом и пойдет речь, а так же немного граблей и личного опыта.
Программирование как способ выражения мыслей. Levon Avakyan
Я расскажу на простейших примерах как функционирует современный компьютер, какие языки программирования бывают, для чего они используются, какие парадигмы лежат в их основе. По сути, язык программирования это инструмент, с помощью которого можно рассказать машине, чего же мы от неё хотим, тем самым воплотив свои мысли.
Similar to Теории и практики фунционального программирования - GDG D2D (20)
19. Композиция : функции
let read (x : string) : int = int(x)
let mult (x : int) : int = x * x
let write (x : int) : string = string(x)
19
20. Композиция : функции
let readMultWrite1 x =
write (mult (read x))
// x : string -> string
let readMultWrite2 =
read >> mult >> write
// string -> string
let readMultWrite3 x =
x |> read |> mult |> write
// x : string -> string
20
38. DI
public class BasketCostTranslator : IBasketCostTranslator
{
private readonly IExchangeRateProvider _provider;
public BasketCostTranslator(IExchangeRateProvider p)
{
// =)
}
public BasketCost TranslateCost(BasketCost cost)
{
// =)
}
}
38
39. DI
#кариррованиекакdi
type ICostTranslator = BasketCost -> BasketCost
let costTranslator exchangeProvider basket =
// =)
let translator = costTranslator exchangeRateProvider
39
40. Шаблонный метод
public class SimpleDeliveryCalculator : IDeliveryCostCalculator
{
public DeliveryOffer Calculate(
IEnumerable<PurchaseDimensions> purchases)
{
// do something
var packagesCount = CalculatePackagesCount(purchases);
// do something
}
protected virtual int CalculatePackagesCount(
IEnumerable<PurchaseDimensions> purchases)
{
// calculation
}
}
40
41. Шаблонный метод
public class ComplexDeliveryCalculator: SimpleDeliveryCalculator
{
protected override int CalculatePackagesCount(
IEnumerable<PurchaseDimensions> purchases)
{
// "complex" calculation
}
}
41
42. Шаблонный метод
#композициярулит
let deliveryCalculator packagesCalculator purchases =
// do something
let packagesCount = packagesCalculator purchases
// do something
let simpleCalculatePackages purchases =
// do something
let complexCalculatePackages purchases =
//do something
let calculator1 = deliveryCalculator simpleCalculatePackages
let calculator2 = deliveryCalculator complexCalculatePackages
42
43. Декоратор
public class LoggingDecorator : IExchangeRateProvider
{
private IExchangeRateProvider _service;
public LoggingDecorator(IExchangeRateProvider service)
{ ... }
public ExchangeRate GetRate(Currency currency) {
// log something
var result = _service.GetRate(currency);
// log something
return result;
}
}
43
49. Мемоизация
#ультракеширование
let memoize (f: 'a -> 'b) =
let dict = new Dictionary<'a, 'b>()
let memoized (input: 'a) =
match dict.TryGetValue(input) with
| true, x -> x
| false, _ ->
let result = f input
dict.Add(input, result)
result
memoized
let memAdder = memoize adder
49
50. Мемоизация
#ультракеширование
let memoize (f: 'a -> 'b) =
let dict = new Dictionary<'a, 'b>()
let memoized (input: 'a) =
match dict.TryGetValue(input) with
| true, x -> x
| false, _ ->
let result = f input
dict.Add(input, result)
result
memoized
let memAdder = memoize adder
50
51. Мемоизация
#ультракеширование
let memoize (f: 'a -> 'b) =
let dict = new Dictionary<'a, 'b>()
let memoized (input: 'a) =
match dict.TryGetValue(input) with
| true, x -> x
| false, _ ->
let result = f input
dict.Add(input, result)
result
memoized
let memAdder = memoize adder
51
59. Обработка ошибок
let handleRequest s =
match readRequest s with
| Success r ->
match readEntityFromDB r with
| Success e ->
match modifyEntity e with
| Success me ->
match createTaskFromEntity me with
| Success t ->
match writeTaskToMQ t with
| Success ts ->
createResultMessage ts
| Error -> Error
| Error -> Error
| Error -> Error
| Error -> Error
| Error -> Error
59
64. Обработка ошибок
let handleRequest s =
match readRequest s with
| Success r ->
match readEntityFromDB r with
| Success e ->
match modifyEntity e with
| Success me ->
match createTaskFromEntity me with
| Success t ->
match writeTaskToMQ t with
| Success ts ->
createResultMessage ts
| Error -> Error
| Error -> Error
| Error -> Error
| Error -> Error
| Error -> Error
64
65. Обработка ошибок
#паттернобнаружен
let handleRequest s =
match readRequest s with
| Success r ->
match readEntityFromDB r with
| Success e ->
match modifyEntity e with
| Success me ->
match createTaskFromEntity me with
| Success t ->
match writeTaskToMQ t with
| Success ts ->
createResultMessage ts
| Error -> Error
| Error -> Error
| Error -> Error
| Error -> Error
| Error -> Error
65
69. Сухой итог
●
Функциональное программирование это просто
●
Можно использовать привычные приемы, но
проще
●
Можно заимствовать из функционального
программирования хитрые приемы
●
Монады совсем не страшные
69