NEW BOT Телеграм, страница

2.82K viewsedited 18:33

Forwarded from PONV Daily (Sergey Kucherenko)

#effects #tagless_final
"Effects Without Monads: Non-determinism. Back to the Meta Language", Oleg Kiselyov
http://okmij.org/ftp/tagless-final/nondet-effect.html

www.okmij.org

Effects Without Monads: Non-determinism

An illustration of the tagless-final style to define an embedded, non-monadic, non-deterministic DSL. The demonstration of several implementations, including abstract interpretation and code generation.

58 views14:35

dd if=/dev/stuff of=/dev/tg

Двенадцатый эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1145705040327467011
Сегодня кратко поговорим о примитиве для асинхронных отложенных вычислений под названием Future.

Twitter

Yuriy Bogomolov

Welcome to twelfth episode of #monadicmonday! Today I want to talk about a Future – a concept of asynchronous lazy task, which is a far better replacement for an eager Promise.

2.83K views14:51

dd if=/dev/stuff of=/dev/tg

Forwarded from Oleg ℕižnik

28 сентября в Москве мы проведем первую крупномасштабную встречу Scala Russia.

Специальный гость — John De Goes. Джон выступит с докладом и проведет воркшоп.

Нас ждет:

🔹 2 потока,
🔹 7 докладов,
🔹 2 воркшопа.

Комфортная атмосфера нетворкинга. Еда. Бомбическое афтерпати

Участие — бесплатное.

Регистрация откроется чуть позже.

Открываем прием заявок на доклады.
Программный комитет: @odomontois, @oli_kitty, @eld0727, @fomkin, @nikitamelnikov (пополняется...)
Идеи докладов смело кидайте в личку @eld0727.

Следите за обновлениями!

50 views15:50

dd if=/dev/stuff of=/dev/tg

https://twitter.com/ImperatorOfPuns/status/1146504134658600962

Twitter

Ze Most & Antibacterial of Clan Rats Kolya

https://t.co/XB2eRSyH47

3.78K views20:25

dd if=/dev/stuff of=/dev/tg

Эмили Пиллмор о том, как произносить названия операторов в хаскеле

13K views12:41

dd if=/dev/stuff of=/dev/tg

3.34K views14:05

dd if=/dev/stuff of=/dev/tg

Компиляция #monadicmonday за июнь на площадке dev.to:
https://dev.to/ybogomolov/monadicmonday-compilation-june-143h

Компиляций на Медиуме больше не будет. Их политика относительно доступности контента (aka paywall), а также неприспособленность площадки для размещения примеров кода вынуждает меня перестать публиковать статьи там.

DEV Community

#MonadicMonday compilation: June

Recently I started a small activity in Twitter called #monadicmonday – each Monday I post a thread ab...

6.31K views13:17

dd if=/dev/stuff of=/dev/tg

Тринадцатый эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1148153780443189248
Сегодня я рассказываю о крутейшей библиотеке для property-based тестирования — fast-check.

Twitter

Yuriy Bogomolov

Welcome to thirteenth episode of #monadicmonday! Today we'll talk a bit about property-based testing using the awesome library `fast-check`.

3.99K views09:03

dd if=/dev/stuff of=/dev/tg

The Implementation of Functional Programming Languages - Microsoft Research
https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/

Microsoft Research

The Implementation of Functional Programming Languages - Microsoft Research

“The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into three parts. The first part describes how to translate a high-level functional language into an intermediate…

3.88K views16:35

dd if=/dev/stuff of=/dev/tg

14.2K views20:36

dd if=/dev/stuff of=/dev/tg

http://10x.engineer/

6.17K views20:37

dd if=/dev/stuff of=/dev/tg

#музыкальная_пауза
У меня очень редко музыка вызывает мурашки по коже. Это — один из таких случаев:
https://youtu.be/DrDM6V08wcE

YouTube

DEVIN TOWNSEND PROJECT - Deadhead (Live at Royal Albert Hall)

DEVIN TOWNSEND PROJECT - Deadhead (Live at Royal Albert Hall). Taken from the DVD "Devin Townsend Presents: Ziltoid Live at the Royal Albert Hall). Inside Out Music 2015.

3.37K views07:00

dd if=/dev/stuff of=/dev/tg

Четырнадцатый, и последний, эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1150654389092311040
Всего хорошего, и спасибо за рыбу!

Twitter

Yuriy Bogomolov

Welcome to fourteenth episode of #monadicmonday! Today's episode will be very short, as I decided to finish the series for now.

6.11K views06:34

dd if=/dev/stuff of=/dev/tg

Финальная компиляция #monadicmonday за июль на dev.to:
https://dev.to/ybogomolov/monadicmonday-compilation-july-4pal

DEV Community

#MonadicMonday compilation: July

Recently I started a small activity in Twitter called #monadicmonday – each Monday I post a thread ab...

6.63K views06:37

dd if=/dev/stuff of=/dev/tg

https://twitter.com/Alby/status/1150893495747579905

X (formerly Twitter)

albyr.bsky.social // @alby@mastodon.social (@Alby) on X

Why would anyone want to study topology? It's just--

9.72K views12:42

dd if=/dev/stuff of=/dev/tg

Отличные новости! Fira Code от @nikitonsky была смерджена в Google Fonts:
https://twitter.com/nikitonsky/status/1151142882243502086
Пруф:
https://github.com/google/fonts/commit/ad9904f584f463352e8fbf1d3b7baf10cc2ae6a0
Поздравляю Никиту и всё сообщество, которое в этом участвовало! 🎉

Twitter

Nikita

I just pushed Fira Code 1.207. Not much changed https://t.co/yOJQqn09k6 but it marks the exact version that was merged to Google Fonts wait what? Yep https://t.co/lVMynxVJyg

4.35K viewsedited 15:21

dd if=/dev/stuff of=/dev/tg

Открытка @datstuff <3

11K views20:03

dd if=/dev/stuff of=/dev/tg

Доклад Эдвина Брэйди о Idris 2. Часть с QTT напомнила мне про Rust и его lifetime’ы.
https://www.youtube.com/watch?v=DRq2NgeFcO0

YouTube

Edwin Brady - Idris 2 - Type-driven Development of Idris

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.