Re: Not being a Haskell programmer is trendy!

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.lang.prolog
Subject	Re: Not being a Haskell programmer is trendy!
Date	2024-03-01 17:47 +0100
Message-ID	<urt0rj$qgjc$2@solani.org> (permalink)
References	<upjgq3$19qjv$1@solani.org> <urt0n0$qgjc$1@solani.org>

Show all headers | View raw

Motivation, it is now widespread assume that
Prolog has call/n. But testing shows that both
Scryer Prolog and Trealla Prolog chocke even on

call/1. But then we find this proposal which
includes maplist/n, foldl/4, etc..

A Prologue for Prolog - post-N290
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue

But is there a Prolog technology that makes
call/n fast in the first place?


Mild Shock schrieb:
> 
> Can the golang interfaces handling be compared to lazy/sharing
> in the non-strict semantics of Haskell? Just curious, maybe
> there is nevertheless a chance to speed up Prolog call/n.
> 
> After all Haskell and Prolog are very similar they champion
> non-strict features. Most novice Prolog programmers are
> suprised by this behaviour, and that they need to invoke is/2,
> 
> making evaluation explicit, why is it not implicit like in every
> other programming language (warning the example could
> be misleading, its not what I am attacking, only motivation here):
> 
> ?- X = 1+2.
> X = 1+2
> 
> But then there are other more important corner where Prolog
> and Haskell are basically the same, i.e. call/n.
> 
> The sharing in Haskell could then give semantic to monomorphic
> and polymorphic caches. Did somebody write a paper about
> golang interfaces handling, relating it to non-strict behaviour?
> 
> 
> Mild Shock schrieb:
>> Just watched 2 videos from Scala and the
>> year 2023 and nearly chocked on my yoghurt,
>>
>> especially when I saw the first presenter got a
>> headeache from early returns. LoL
>>
>> Async/Await for the Monadic Programmer
>> https://www.youtube.com/watch?v=OH5cxLNTTPo
>>
>> DIRECT STYLE SCALA Scalar Conference 2023
>> https://www.youtube.com/watch?v=0Fm0y4K4YO8
>>
>> Whats the bottom line: All because they discovered they
>> could do async/await as well?
>

Thread

Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-02-02 20:46 +0100
  Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-02-02 21:00 +0100
    Re: Not being a Haskell programmer is trendy! Mild Shock <bursejan@gmail.com> - 2024-02-02 12:50 -0800
      Re: Not being a Haskell programmer is trendy! Mild Shock <bursejan@gmail.com> - 2024-02-07 03:25 -0800
    Re: Not being a Haskell programmer is trendy! Mild Shock <bursejan@gmail.com> - 2024-02-11 14:34 -0800
      Re: Not being a Haskell programmer is trendy! Mild Shock <bursejan@gmail.com> - 2024-02-11 14:39 -0800
        Re: Not being a Haskell programmer is trendy! Mild Shock <bursejan@gmail.com> - 2024-02-14 06:45 -0800
          Re: Not being a Haskell programmer is trendy! Mild Shock <bursejan@gmail.com> - 2024-02-14 06:53 -0800
  Re: Not being a Haskell programmer is trendy! Mild Shock <bursejan@gmail.com> - 2024-02-14 13:29 -0800
    Re: Not being a Haskell programmer is trendy! Mild Shock <bursejan@gmail.com> - 2024-02-14 13:33 -0800
  Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-02-21 01:27 +0100
    Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-02-21 01:28 +0100
      Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-02-21 01:30 +0100
        Re: Not being a Haskell programmer is trendy! Mild Shock <bursejan@gmail.com> - 2024-02-21 03:43 -0800
  Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-03-01 17:45 +0100
    Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-03-01 17:47 +0100
      Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-03-01 17:57 +0100
        Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-03-01 18:06 +0100
          Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-03-01 18:08 +0100
            Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-03-01 19:45 +0100
              Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-03-01 21:33 +0100
  Re: Not being a Haskell programmer is trendy! Mild Shock <janburse@fastmail.fm> - 2024-03-06 01:56 +0100

csiph-web