Материалы по теме 'haskell' | DevsDay.ru

IT-блоги Материалы по теме 'haskell'

IT-блоги Материалы по теме 'haskell'


Разработка dev.to 26 января 2023 г. 17:36

This post is targeted towards all those Elm developers (and functional programmers in general) who are curious about Haskell and would like to learn how what they already know and love from Elm maps directly to Haskell. Also, since Haskell's featur...... читать далее

haskell elm functional programming

Разработка dev.to 26 января 2023 г. 17:31

Introduction This post is divided into two main parts. In the first one, I'm going to introduce mathematical objects and mathematical applications. It is programmer-oriented, but I assume some level of math knowledge. In the second part, I will tel...... читать далее

mathematics opensource distributedsystems

DevOps OpenNET 19 января 2023 г. 21:29

Доступен выпуск проекта pandoc 3.0, развивающего библиотеку и утилиту командной строки для преобразования форматов разметки текста. Поддерживается конвертация между более чем 50 форматами, включая docbook, docx, epub, fb2, html, latex, markdown, man,...... читать далее

Разработка Galois, Inc. Blog 18 января 2023 г. 20:56

Abstract: Library authors often are faced with a design choice: should a function with preconditions be implemented as a partial function, or by returning a failure condition on incorrect use? Neither option is ideal. Partial functions lead...... читать далее

Tech Talks

Разработка habr.com 11 января 2023 г. 8:10

Допустим, вы приняли руководство новой командой. У вас есть картбланш на внедрение любой выбранной вами политики, чтобы сделать работу сотрудников более продуктивной, а код — менее «глючным». Что же вы предпримете?На продаже ответа на этот вопрос сде...... читать далее

Блог компании МойОфис Читальный зал Софт IT-компании мойофис софт программное обеспечение перевод человеческий фактор технологии принципы разработки

Разработка Galois, Inc. Blog 10 января 2023 г. 14:00

2022 wasn’t a return to pre-pandemic times, but we’ll call it a “return to almost-normal.” At Galois, we continued a hybrid model of in-person and virtual collaboration. We also added several members to our team, including the acquisition of Adventiu...... читать далее

Highlights

DevOps OpenNET 8 января 2023 г. 9:36

Состоялся выпуск библиотеки libmdbx 0.12.3 (MDBX) с реализацией высокопроизводительной компактной встраиваемой базы данных класса ключ-значение. Код libmdbx распространяется под лицензией OpenLDAP Public License. Поддерживаются все актуальные операц...... читать далее

Разработка dev.to 3 января 2023 г. 20:48

Functional Programming is an old paradigm that’s gained popularity in recent years due to its code conciseness, modularity, and lack of side effects. Based on Lambda Calculus, developed by Alonzo Church in the 1930s, functional programming has been...... читать далее

haskell erlang functional

Разработка dev.to 29 декабря 2022 г. 18:31

Have you ever found yourself writing long, cumbersome if-else chains in your code, just to handle a few different cases? If so, you'll want to learn about pattern matching. In this post, we'll explore the basics of pattern matching and how it can hel...... читать далее

programming functional ocaml

DevOps OpenNET 27 декабря 2022 г. 11:50

Опубликован выпуск проекта ShellCheck 0.9, развивающего систему статического анализа shell-скриптов, поддерживающую выявление ошибок в скриптах с учётом особенностей bash, sh, ksh и dash. Код проекта написан на языке Haskell и распространяется под л...... читать далее

DevOps OpenNET 26 декабря 2022 г. 7:47

После 11 месяцев разработки опубликован релиз композитного менеджера Sway 1.8, построенного с использованием протокола Wayland и полностью совместимого с мозаичным оконным менеджером i3 и панелью i3bar. Код проекта написан на языке Си и распространя...... читать далее

Разработка habr.com 21 декабря 2022 г. 12:35

Обсуждая IT-образование, представители компаний часто жалуются на отсутствие у вчерашних студентов навыков работы в команде и понимания, как в принципе функционирует бизнес в этой сфере. Но мы уверены ― многое зависит  как от самого студента, та...... читать далее

Блог компании ИТМО Учебный процесс в IT DevOps Haskell Программирование итмо haskell devops стажировка в it рефакторинг dsl программирование

Разработка habr.com 20 декабря 2022 г. 13:36

Сегодня рассказываем про анонимный мессенджер SimpleX, который написан на Haskell и позволяет, в том числе, использовать сеть Tor для общения.  ​​SimpleX – не только один из немногих мессенджеров, который не собирает данные пользователей, н...... читать далее

Блог компании Privacy Accelerator Мессенджеры Развитие стартапа Гаджеты Информационная безопасность start-up privacy messenger haskell security аудит безопасности аудит кода безопасность веб-приложений акселераторы икубатор

DevOps OpenNET 15 ноября 2022 г. 17:09

Представлен релиз дистрибутива Fedora Linux 37. Для загрузки подготовлены продукты Fedora Workstation, Fedora Server, Fedora CoreOS, Fedora Cloud Base, Fedora IoT Edition и Live-сборки, поставляемые в форме спинов c десктоп-окружениями KDE Plasma...... читать далее

Разработка Facebook Engineering 9 ноября 2022 г. 17:30

We’re sharing Tulip, a binary serialization protocol supporting schema evolution.  Tulip assists with data schematization by addressing protocol reliability and other issues simultaneously.  It replaces multiple legacy formats used in Meta’s data pla...... читать далее

Data Infrastructure DevInfra Production Engineering

Разработка dev.to 5 ноября 2022 г. 17:18

Hi, want to share with you some configuration of my Arch Linux desktop So here are Qtile configurations Qtile A full-featured, hackable tiling window manager written and configured in Python 1.Basic Qtile config with some unicode decor...... читать далее

linux qtile python haskell

Разработка dev.to 4 ноября 2022 г. 11:21

🕵️ TL;DR - Cheating or ignorance, anytime someone in your life tries to brush something under the rug, they're probably hiding something. In our case, not intentionally. Intro Well this is embarrassing. Whilst at university, I discov...... читать далее

haskell raytracing math

Разработка dev.to 25 октября 2022 г. 7:27

You heard it. Default considered harmful! tl;dr: Default has no defining or testable properties Default is not even guaranteed to be the same between runs Defaults are context-specific: One type does not always have one default Defaults are usef...... читать далее

haskell rust traits typeclasses

Разработка Galois, Inc. Blog 24 октября 2022 г. 17:32

Abstract: This talk consists of two parts. In the first part of the talk I introduce the Message Passage Language (MPL), which is a statically typed concurrent programming language with message passing as the concurrency primitive. It brings communic...... читать далее

Tech Talks

Разработка dev.to 22 октября 2022 г. 21:30

The async/await pattern is a syntactic feature of many programming languages that allows an asynchronous, non-blocking function to be structured similarly to an ordinary synchronous function. It is semantically related to the concept of a coroutine a...... читать далее

csharp fsharp dotnet programming