On 2023-01-26 07:34, ( wrote:
On Wed Jan 25, 2023 at 7:39 PM GMT, david larsson wrote:
https://towardsdatascience.com/monads-from-the-lens-of-imperative-programmer-af1ab8c8790c
I'm not too sure about this one, I'm afraid.
-- (
What are you not too sure about?
There is also pseudo-code
Hi,
On jeu., 26 janv. 2023 at 21:03, b...@bokr.com wrote:
> Indeed, Simon Peyton Jones is tops.
If I might, I would recommend « Build Systems à la Carte » [1]. It
provides a framework to deal with various build system; Guix being one,
see Table 2.
1:
Hi,
On Tue, Jan 24, 2023 at 11:13 PM ( wrote:
>
> I've been struggling to write Part 2 of Dissecting Guix
If it's a matter of explanatory power, I might suggest switching to an
integrative approach and perspective for part 2—i.e. "Putting the
parts of Guix back together". After all, the
Hi Simon,
On +2023-01-26 12:17:27 +0100, Simon Tournier wrote:
> Hi,
>
> On Wed, 25 Jan 2023 at 16:54, Wojtek Kosior via "Development of GNU Guix and
> the GNU System distribution." wrote:
>
> > here[1] is
> > the paper (written by
Hi,
On Wed, 25 Jan 2023 at 16:54, Wojtek Kosior via "Development of GNU Guix and
the GNU System distribution." wrote:
> here[1] is
> the paper (written by someone at Microsoft, lol) where I found this
> approach.
> [1]
On Wed Jan 25, 2023 at 7:39 PM GMT, david larsson wrote:
> https://towardsdatascience.com/monads-from-the-lens-of-imperative-programmer-af1ab8c8790c
I'm not too sure about this one, I'm afraid.
-- (
signature.asc
Description: PGP signature
On Wed Jan 25, 2023 at 3:54 PM GMT, Wojtek Kosior wrote:
> While Guile is dynamically typed, functions we define in it generally
> do expect their arguments to be of certain types. And they also
> generally guarantee their return values to be of certain types. So even
> though there's no static
Hey Simon,
On Wed Jan 25, 2023 at 9:58 AM GMT, zimoun wrote:
> 1:https://simon.tournier.info/posts/2021-02-03-monad.html
Thanks! This looks helpful.
-- (
signature.asc
Description: PGP signature
On 2023-01-25 08:12, ( wrote:
Hello Guix,
I've been struggling to write Part 2 of Dissecting Guix; I'm just not
sure where to start to
explain monads.
It's hard for a variety of reasons, those being that:
- Guile has no type system, so you can't express monads in terms of
types
- Guix
Hi, Paren!
> - Guile has no type system, so you can't express monads in terms of types
While Guile is dynamically typed, functions we define in it generally
do expect their arguments to be of certain types. And they also
generally guarantee their return values to be of certain types. So even
Hi,
On Wed, 25 Jan 2023 at 07:12, "(" wrote:
> I've been struggling to write Part 2 of Dissecting Guix; I'm just not sure
> where to start to
> explain monads.
Here my attempt to explain monads using Guile:
1:https://simon.tournier.info/posts/2021-02-03-monad.html
My aim was to provide
11 matches
Mail list logo