Richard Feldman - Exploring elm-spa-example

  Рет қаралды 17,416

Oslo Elm Day

Oslo Elm Day

Күн бұрын

Пікірлер: 13
@LourensRolograaf
@LourensRolograaf 5 жыл бұрын
I like the soup-salad-chicken theorem
@nelsonc5339
@nelsonc5339 5 жыл бұрын
“Definitely don’t spoon chicken...”
@striker865
@striker865 5 жыл бұрын
You know, anytime I expose Msg in any kind of library code, I wind up regretting it. And it's also a really big newbie trap... I wonder if Evan is considering making that a new package rule, like, packages allow Debug.todo, it'd make sense to now allow security breach's from Msg as well.
@mskiptr
@mskiptr 4 жыл бұрын
Well, imho the only case when getting new dependencies for everything would be acceptable, would be if we had formal verification of all that code. I mean if we wanted get an external sorting implementation it would need a type like (Ord a, Sorted ys) => [a] - > (ys::[a]) and would need to be typechecked for totality.
@mskiptr
@mskiptr 4 жыл бұрын
Also, there is a great example in the presentation - if the library operates on strings then it won't do any IO. Using types we can limit the vulnerabilities and potentially even eliminate them.
@dieSpinnt
@dieSpinnt 4 жыл бұрын
That was a good joke about the dependencies, comparing it to somewhat with a process footprint of kilobytes and then bragging over the 10% reduction he did. Ignoring the Browser, the Elm compiler and the whole JavaScript mess this ecosystem is based on as dependency, is a form of art, too.
@AdamSchelenbergCom
@AdamSchelenbergCom 5 жыл бұрын
Medium - Conduit ? What is the pun? I don't understand.
@poparasan
@poparasan 5 жыл бұрын
(Wikipedia) A conduit, in esoterism, and spiritual discourse, is a specific object, person, location, or process (such as engaging in a séance or entering a trance) which allows a person to connect or communicate with a spiritual realm, metaphysical energy, or spiritual entity, or vice versa. Medium is another name for that kind of person.
@AdamSchelenbergCom
@AdamSchelenbergCom 5 жыл бұрын
@@poparasan Thanks for clarifying.
@mskiptr
@mskiptr 4 жыл бұрын
I'm pretty sure it's more about these definitions: Medium - The materials or empty space through which signals, waves or forces pass. Conduit - A means by which something is transmitted. (en.wiktionary.org)
@a0um
@a0um 3 жыл бұрын
I wish he advised to just use bare hands for the chicken. :(
@DrJohnPollard
@DrJohnPollard 5 жыл бұрын
I thought we were going to see a real app.
@mskiptr
@mskiptr 4 жыл бұрын
I thought it will be about an app used by some health resort xD
Kris Jenkins - Slaying a UI Antipattern
29:01
Oslo Elm Day
Рет қаралды 8 М.
"Make Data Structures" by Richard Feldman
53:13
Elm Europe
Рет қаралды 29 М.
Amazing remote control#devil  #lilith #funny #shorts
00:30
Devil Lilith
Рет қаралды 16 МЛН
Random Emoji Beatbox Challenge #beatbox #tiktok
00:47
BeatboxJCOP
Рет қаралды 67 МЛН
Кто круче, как думаешь?
00:44
МЯТНАЯ ФАНТА
Рет қаралды 4,9 МЛН
From Rails to Elm and Haskell - Richard Feldman
52:18
ChariotSolutions
Рет қаралды 70 М.
Elm Europe 2017 - Richard Feldman - Scaling Elm Apps
59:51
Elm Europe
Рет қаралды 39 М.
"Code is the Easy Part" by Evan Czaplicki
38:26
elm-conf
Рет қаралды 41 М.
Hybrid-Level Programming - Richard Feldman
51:26
Zig SHOWTIME
Рет қаралды 6 М.
Elm at Scale: More Surprises, More Pain Points
29:09
Kevin Yank
Рет қаралды 22 М.
"Making Impossible States Impossible" by Richard Feldman
25:06
Why Isn't Functional Programming the Norm? - Richard Feldman
46:09
Richard Feldman - Keynote - Elm Europe 2019
49:36
Elm Europe
Рет қаралды 7 М.
Elm in production by Richard Feldman
53:07
Devoxx
Рет қаралды 11 М.
Amazing remote control#devil  #lilith #funny #shorts
00:30
Devil Lilith
Рет қаралды 16 МЛН