"Meander: Declarative Explorations at the Limits of FP" by Jimmy Miller

  Рет қаралды 10,301

Strange Loop Conference

Strange Loop Conference

Күн бұрын

Пікірлер: 16
@agcwall
@agcwall 3 жыл бұрын
Now imagine if meander's pattern matching logic could run at compile-time and produce optimized code...
@shyamspeaking
@shyamspeaking 4 жыл бұрын
This library has changed the way I look at code. Brilliant stuff. I was trying to get meander work in klipse without much success , so that I could show live to my bosses to sell this. Once again , great library and thanks for introducing me to term-rewrite.
@webwarrior0
@webwarrior0 5 жыл бұрын
Actually, most of the things mentioned between 30:51 and 38:20 are already possible in Pharo. For instance, method deprecation is handled more or less as was described here: when deprecated method is called, code is automatically rewritten at call site to use new method.
@jimmyhmiller
@jimmyhmiller 5 жыл бұрын
SmallTalk definitely is inline in many ways with what I was talking about. I was advocating there for a more bundled experience like SmallTalk gives you where code is resident in memory, not just sitting on files. From what I can google, it seems like the way you do this in Pharo is actually through a rewriting extension. www.peteruhnak.com/blog/2015/08/06/transforming-deprecated-code-with-rewritetool/ If that's what you are referring to, that is great! But my point was that we shouldn't have to have these things bolted on. They should be a natural consequence of our execution model. Tools are fantastic, but what if we didn't have to build them? What if our language's execution model was just simple enough that anyone could do these things without someone building a tool? All that said, SmallTalk is great and definitely worth exploring for anyone reading this that hasn't.
@garthgoldwater5256
@garthgoldwater5256 5 жыл бұрын
I can’t stop thinking about this talk. Great job!
@shyamspeaking
@shyamspeaking 4 жыл бұрын
Thank you for this library. Such an intuitive way to describe and manipulate data.
@simonlovatt9342
@simonlovatt9342 5 жыл бұрын
I'm showing my age: This reminded me of Jackson Structured Programming (en.m.wikipedia.org/wiki/Jackson_structured_programming) from circa 1975, except Meander takes a JSP-like data transformation design and implements it directly rather than having to write the code manually.
@CaseyC104
@CaseyC104 5 жыл бұрын
Really awesome stuff here. I feel like there's so much possibility; the comparison of this to the level above map/reduce/etc. is really compelling and make me excited for what can be done in this space!
@brujua7
@brujua7 5 жыл бұрын
Great talk. Very interesting topic. Thanks a lot!
@ggzor
@ggzor 5 жыл бұрын
Amazing stuff!
@geekboy328
@geekboy328 3 жыл бұрын
I want to port this to javascript
@julkiewitz
@julkiewitz 5 жыл бұрын
Isn't that similar to LINQ in SQL syntax?
@jimmyhmiller
@jimmyhmiller 5 жыл бұрын
LINQ with sql syntax is still the function transformation I was talking about at the beginning. It has some syntatic sugar. But still ultimately we are doing these pipelines. Desugaring the sql syntax shows you exactly that. That said LINQ in both forms is great. I just think we can take these things further.
@proweiqi
@proweiqi 5 жыл бұрын
Right. Check out R's dplyr
@jimmyhmiller
@jimmyhmiller 5 жыл бұрын
dplyr is great. But it is the approach I talked about at the beginning. dplyr is map (select), reduce (summarize), filter, and other data manipulation functions. I think this approach is good, but as I talk about, we can do better.
"Parser Parser Combinators for Program Transformation" by Rijnard van Tonder
41:02
Strange Loop Conference
Рет қаралды 12 М.
"Specter: overcome your fear of nested Clojure data" by Nathan Marz
41:51
Strange Loop Conference
Рет қаралды 11 М.
coco在求救? #小丑 #天使 #shorts
00:29
好人小丑
Рет қаралды 109 МЛН
How Many Balloons To Make A Store Fly?
00:22
MrBeast
Рет қаралды 197 МЛН
Арыстанның айқасы, Тәуіржанның шайқасы!
25:51
QosLike / ҚосЛайк / Косылайық
Рет қаралды 687 М.
DOMAIN MODELING WITH DATALOG by Norbert Wojtowicz
44:55
#pivorak Lviv Ruby MeetUp
Рет қаралды 17 М.
"Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri
37:48
Strange Loop Conference
Рет қаралды 8 М.
Solving Problems the Clojure Way - Rafal Dittwald
1:02:26
Clojure/north
Рет қаралды 75 М.
"African Polyphony & Polyrhythm" by Chris Ford
41:50
Strange Loop Conference
Рет қаралды 10 М.
"Unison: a new distributed programming language" by Paul Chiusano
41:06
Strange Loop Conference
Рет қаралды 42 М.
"Concatenative programming and stack-based languages" by Douglas Creager
40:30
Strange Loop Conference
Рет қаралды 15 М.
"Probabilistic scripts for automating common-sense tasks" by Alexander Lew
36:21
Strange Loop Conference
Рет қаралды 75 М.
The Language of the System - Rich Hickey
1:02:50
ClojureTV
Рет қаралды 165 М.
Functional Design Patterns - Scott Wlaschin
1:05:50
NDC Conferences
Рет қаралды 300 М.
50 years of Prolog: Becoming More Declarative - David S. Warren
49:56
Declarative Amsterdam
Рет қаралды 3,3 М.
coco在求救? #小丑 #天使 #shorts
00:29
好人小丑
Рет қаралды 109 МЛН