Тёмный

Brandon Williams - Seemingly Impossible Swift Programs 

Functional Swift
Подписаться 3,5 тыс.
Просмотров 3,2 тыс.
50% 1

Swift Playground: gist.github.com/mbrandonw/981...
Blog post: www.fewbutripe.com/2018/12/05...
References
* Infinite sets that admit fast exhaustive search - Martín Escardó
* Synthetic topology of data types and classical spaces - Martín Escardó
* Seemingly Impossible Functional Programs - Martín Escardó
* The topology of Seemingly impossible functional programs (Slides) - Martín Escardó

Наука

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

 

7 июл 2024

Поделиться:

Ссылка:

Скачать:

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

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 5   
@jeremysaklad6703
@jeremysaklad6703 2 года назад
`Int` could definitely conform to `CaseIterable` using lazy collections, and you could then implement `anySatisfy` for it. Whether you could *run* it in a reasonable amount of time is another matter.
@AlessandroMartin-iOS
@AlessandroMartin-iOS 5 лет назад
Nice talk by Brandon as usual! Just a little technical issue: left audio channel is totally dead :)
@johngoogle6574
@johngoogle6574 5 лет назад
Well the guy is in the lower right side :p
@ulysses4536
@ulysses4536 5 лет назад
Well.. one could define the same method for String, where it would find a string having particular properties by recursively building that string. It would die with stack overflow pretty soon, but would definitely work the same way. I'm trying to say, the bitfield infinity and String infinity are pretty much similar, with the former being constructed from a much smaller vocabulary. Actually, big integers can be treated similarly.
@OtherTheDave
@OtherTheDave 5 лет назад
Seems like it’d be faster to implement `allSatisfy` in terms of `anySatisfy` than the other way around. Eh, maybe not... depends on whether the predicate is more likely to return false or true.
Далее
Peter Tomaselli - Write to go Faster
37:31
Просмотров 1,6 тыс.
Ben Cohen - Fast Safe Mutable State
27:52
Просмотров 9 тыс.
Happy 4th of July 😂
00:12
Просмотров 25 млн
POLI зовет Газана
00:12
Просмотров 691 тыс.
меня не было еще год
08:33
Просмотров 2,7 млн
Learning Rust! | Writing a 16bit Virtual Machine
1:37:34
Stephen Celis - Composable Setters
31:44
Просмотров 2,6 тыс.
Beyond Types in Swift - Brandon Kase
37:54
Просмотров 3,8 тыс.
Elviro Rocca - Protocol-Oriented Monad Transformers
30:49
Writing Domain Specific Languages - Rahul Malik
27:11
2. Data Structures and Dynamic Arrays
50:18
Просмотров 495 тыс.
When you have 32GB RAM in your PC
0:12
Просмотров 1,6 млн