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&
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
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
>
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
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 doesn't implement very many monads
12 matches
Mail list logo