Тёмный

Cadenza: Building Fast Functional Languages Fast • Edward Kmett • YOW! 2020 

GOTO Conferences
Подписаться 1 млн
Просмотров 2,1 тыс.
50% 1

This presentation was recorded at YOW! 2020. #GOTOcon #YOW
yowcon.com
Edward Kmett - Fellow & VP of Software Engineering at Groq Inc. ‪@ekmett‬
RESOURCES
/ kmett
github.com/ekmett
/ ekmett
comonad.com
ABSTRACT
In this talk Ed will give live coding introduction to normalization by evaluation. He will then show how Graal and Truffle, on the JVM, can be (ab)used to JIT functional languages. He discusses why this seems like a promising direction for evaluating dependently typed languages in particular. [...]
RECOMMENDED BOOKS
Saša Jurić • Elixir in Action • amzn.to/2RZh5eN
Tim McNamara • Rust in Action • amzn.to/3ux2R9u
Ulisses Almeida • Learn Functional Programming with Elixir • amzn.to/389grn6
Neal Ford • Functional Thinking • amzn.to/3DdP35B
Petricek & Skeet • Real-World Functional Programming • amzn.to/38diF4M
Venkat Subramaniam • Functional Programming in Java • amzn.to/2WlOXIt
Cristian Salcescu • Functional Programming in JavaScript • amzn.to/3y75jBS
/ gotocon
/ goto-
/ gotoconferences
#Cadenza #FunctionalProgramming #SoftwareEngineering #Programming #Tech #SoftwareDevelopment #SoftwareTechnology #FP #Haskell #Graal #Truffle #JVM #YOWcon
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at gotopia.tech
Sign up for updates and specials at gotopia.tech/n...
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
www.youtube.co...

Опубликовано:

 

30 сен 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 7   
@GOTO-
@GOTO- 2 месяца назад
We are currently releasing older YOW! videos to serve as a valuable archive, preserving historical content. It is possible that a video is perceived as outdated. We believe it offers insightful glimpses into the past, enriching our understanding of history and development.
@robchr
@robchr Год назад
Kotlin is not the language we want but it is the language we deserve.
@mariobroselli3642
@mariobroselli3642 7 месяцев назад
Scala and then Cadenza 😮
@kinjalbasu1999
@kinjalbasu1999 Год назад
Are we trying to make a more complicated Lisp machine?
@zxygentoo1
@zxygentoo1 Год назад
That's the price to pay for being fast lol
@kinjalbasu1999
@kinjalbasu1999 Год назад
@@zxygentoo1 Is it faster though? No one has tried to virtualize a Lisp machine architecture before. Heck, I don't even how anything outside of Von Neuman works 😅😅
@AlexRodriguez-gb9ez
@AlexRodriguez-gb9ez 3 месяца назад
@@kinjalbasu1999 Lisp is based on the lambda calculus + some other stuff like semicolons + set statement. Haskell Curry showed how to get rid the need to name things by converting lambdas into combinators (anonymous binding) and they found out that you only needed a few combinators maybe two of them the star apply () combinator and K(const), but others like $, flip, (.), id, map, ++, +, (:), (,), +*, may be useful. You can program the hardware to run the combinator code directly.
Далее
Свадьба Раяна Асланбекова ❤️
00:12
FATAL CHASE 😳 😳
00:19
Просмотров 1,6 млн
Lambda World 2018 - Opening Keynote by Edward Kmett
47:49
The Most Legendary Programmers Of All Time
11:49
Просмотров 567 тыс.
How Flow Works • James Lewis • GOTO 2024
49:30
Просмотров 3 тыс.
The purest coding style, where bugs are near impossible
10:25
Edward Kmett - How I discovered functional programming
4:34