ycliper

Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
Скачать

Gergo Erdi: Executable, Synthesizable, Human Readable: Pick Three - Pong on FPGA with Clash

Автор: The Budapest Functional Programming Group

Загружено: 2022-01-08

Просмотров: 414

Описание: The great thing about Clash is that it is just Haskell. In this talk, we explore why this is great, by showing a simple hardware circuit developed using high-level Haskell abstractions:

Separation of model and presentation
State with lenses for composable model updates
Type-directed and type-level programming

The result is idiomatic Haskell code that can be viewed in multiple
ways:

We can compile it as software Haskell, yielding an interactive simulation, i.e. a playable Pong game.

We can compile it as hardware Haskell, yielding an FPGA configuration that can be hooked up to two pushbuttons and a VGA screen.

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Gergo Erdi: Executable, Synthesizable, Human Readable: Pick Three - Pong on FPGA with Clash

Поделиться в:

Доступные форматы для скачивания:

Скачать видео

  • Информация по загрузке:

Скачать аудио

Похожие видео

Ламповый FM-радиоприемник — я собрал такой, и вот почему он работает, с печатной платой.

Ламповый FM-радиоприемник — я собрал такой, и вот почему он работает, с печатной платой.

24 НОВЫХ ТОВАРОВ с АЛИЭКСПРЕСС 2026, Новые ГАДЖЕТЫ От Которых Точно ОФИГЕЕШЬ + КОНКУРС

24 НОВЫХ ТОВАРОВ с АЛИЭКСПРЕСС 2026, Новые ГАДЖЕТЫ От Которых Точно ОФИГЕЕШЬ + КОНКУРС

China’s Next DeepSeek Moment Is In AI Hardware

China’s Next DeepSeek Moment Is In AI Hardware

Conversation with Elon Musk | World Economic Forum Annual Meeting 2026

Conversation with Elon Musk | World Economic Forum Annual Meeting 2026

Kimi K2.5 Is INSANE – Is This the BEST Open Source Model?

Kimi K2.5 Is INSANE – Is This the BEST Open Source Model?

They Cleaned Their Fans And Saw A Huge Flame. Now The Laptop Doesn't Work!

They Cleaned Their Fans And Saw A Huge Flame. Now The Laptop Doesn't Work!

Scaling Analysis

Scaling Analysis

GOL BRAMKARZA W DOLICZONYM CZASIE! SCENY ABSOLUTNE W LIZBONIE! BENFICA  - REAL MADRYT, SKRÓT MECZU

GOL BRAMKARZA W DOLICZONYM CZASIE! SCENY ABSOLUTNE W LIZBONIE! BENFICA - REAL MADRYT, SKRÓT MECZU

Portfolio Evaluation using Monte Carlo Methods (Deriving the solution for the M-GBM SDE)

Portfolio Evaluation using Monte Carlo Methods (Deriving the solution for the M-GBM SDE)

Black-Box Separation between Multi-Collision Resistance and Collision Resistance

Black-Box Separation between Multi-Collision Resistance and Collision Resistance

Giving Pixels a Pulse — Mohamed Rejeb

Giving Pixels a Pulse — Mohamed Rejeb

Tesla Q4 and full year 2025 Financial Results and Q&A Webcast

Tesla Q4 and full year 2025 Financial Results and Q&A Webcast

Claude Code Ends SaaS, the Gemini + Siri Partnership, and Math Finally Solves AI | #224

Claude Code Ends SaaS, the Gemini + Siri Partnership, and Math Finally Solves AI | #224

POLAK DAŁ SYGNAŁ! BARCA GROMI RYWALA! BARCELONA - KOPENHAGA, SKRÓT MECZU

POLAK DAŁ SYGNAŁ! BARCA GROMI RYWALA! BARCELONA - KOPENHAGA, SKRÓT MECZU

Clawdbot — отстой, на самом деле.

Clawdbot — отстой, на самом деле.

Clawdbot is the most powerful AI tool I've ever used...

Clawdbot is the most powerful AI tool I've ever used...

Randomized Linear Algebra with Subspace Injections

Randomized Linear Algebra with Subspace Injections

Advanced Numerical Methods - Project 3

Advanced Numerical Methods - Project 3

CHELSEA ODWRÓCIŁA MECZ! JOAO PEDRO WYRZUCA NAPOLI ZA BURTĘ! NAPOLI - CHELSEA, SKRÓT MECZU

CHELSEA ODWRÓCIŁA MECZ! JOAO PEDRO WYRZUCA NAPOLI ZA BURTĘ! NAPOLI - CHELSEA, SKRÓT MECZU

AirTag V2 Teardown - nRF52840 upgrade & Bigger 🧲

AirTag V2 Teardown - nRF52840 upgrade & Bigger 🧲

© 2025 ycliper. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]