SBTB 2019: Paul Chiusano, Unison, and why the codebase of the future is a purely functional...

  Рет қаралды 5,265

FunctionalTV

FunctionalTV

Күн бұрын

Пікірлер: 12
@dazraf
@dazraf Жыл бұрын
Love this!
@micah9461
@micah9461 4 жыл бұрын
oh gosh I'm totally sold
@yan-amar
@yan-amar 3 жыл бұрын
If I understand correctly, this codebase manager could be used with any pure FP language with tweaks only to the storage format. In a way, Unison has this in common with Lisp that the code is stored as syntax tree. I would love to see such a tool generalized for arbitrary languages.
@Karthik-yy6up
@Karthik-yy6up 4 жыл бұрын
What does he mean by "I'm just going to bind that dependency here (pieCrust)"? pieCrust doesn't seem to be in scope.
@ksenialovi3716
@ksenialovi3716 Жыл бұрын
It's already defined, as we saw in the editor: .sbtb> find : Ingredients ... 12. pieCrust : Ingredients ...
@TheSunscratch
@TheSunscratch 5 жыл бұрын
Just wondering how hash collisions are handled
@MegalomaniaZ
@MegalomaniaZ 5 жыл бұрын
I'd guess they chose a key-space that makes this impossible.
@malkdk
@malkdk 4 жыл бұрын
There’s no need to handle collisions since they’re using a cryptographic hash function with a digest size of 512 bits.
@malkdk
@malkdk 4 жыл бұрын
For anyone else wondering how to change the implementation of a function (rather than just its name) see 20:40
@davidprock904
@davidprock904 4 жыл бұрын
I'm working on an extremely different architecture like nothing currently existing. You have some commonality with what im doing, but not putting you down, mine is better, you should seriously contact me.
@bibliusz777
@bibliusz777 4 жыл бұрын
show me what u've got
@okdoomer620
@okdoomer620 4 жыл бұрын
I feel like this is kind of a big deal
"Unison: a new distributed programming language" by Paul Chiusano
41:06
Strange Loop Conference
Рет қаралды 42 М.
Scott Wlaschin - Talk Session: Domain Modeling Made Functional
48:03
Osman Kalyoncu Sonu Üzücü Saddest Videos Dream Engine 275 #shorts
00:29
这是自救的好办法 #路飞#海贼王
00:43
路飞与唐舞桐
Рет қаралды 111 МЛН
Bay.Area.AI:  DSPy: Prompt Optimization for LM Programs, Michael Ryan
50:57
Why Isn't Functional Programming the Norm? - Richard Feldman
46:09
What are AI Agents?
12:29
IBM Technology
Рет қаралды 602 М.
Scale By The Bay 2019: Bill Venners, In Types We Trust
37:15
FunctionalTV
Рет қаралды 394
"Performance Matters" by Emery Berger
42:15
Strange Loop Conference
Рет қаралды 485 М.
"Building Haskell Programs with Fused Effects" by Patrick Thomson
40:44
Strange Loop Conference
Рет қаралды 17 М.
Plain Functional Programming by Martin Odersky
46:58
Devoxx
Рет қаралды 97 М.
Effective ML
1:09:24
Jane Street
Рет қаралды 25 М.
"Outperforming Imperative with Pure Functional Languages" by Richard Feldman
34:55
Strange Loop Conference
Рет қаралды 89 М.
Osman Kalyoncu Sonu Üzücü Saddest Videos Dream Engine 275 #shorts
00:29