[HN Gopher] Non-deterministic execution of Python functions
___________________________________________________________________
Non-deterministic execution of Python functions
Author : cha42
Score : 13 points
Date : 2024-01-31 21:31 UTC (1 hours ago)
(HTM) web link (gitlab.inria.fr)
(TXT) w3m dump (gitlab.inria.fr)
| __lm__ wrote:
| Useful to explain non-determinism to students. I saw a similar
| idea before at https://github.com/aeporreca/nondeterminism which
| uses fork() to (inefficiently) explore all possible guesses
| concurrently
| PheonixPharts wrote:
| Makes me think about how non-deterministic computing is basically
| how you view lists as a context (as opposed to a container) when
| thinking in terms of Monads in Haskell. Application functors
| basically form a minimal framework for applying functions to
| values in a non-deterministic context when working with lists.
|
| Making this further relevant is that perhaps the most well known
| example of monadic programming of lists is: Python's list
| comprehensions. Which makes a bit surprised to see that not more
| explored/exploited in this library.
|
| Interesting nonetheless!
___________________________________________________________________
(page generated 2024-01-31 23:00 UTC)