2025/01/22

Newest at the top

2025-01-22 12:12:53 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-01-22 12:11:17 +0100 <hellwolf> | However, Clean deals with mutable state and input/output (I/O) through a uniqueness type system, in contrast to Haskell's use of monads.
2025-01-22 12:11:09 +0100agent314(~quassel@208.131.130.116) (Ping timeout: 260 seconds)
2025-01-22 12:11:01 +0100agent314_(~quassel@208.131.130.89) agent314
2025-01-22 12:08:47 +0100 <geekosaur> Clean uses uniqueness types instead
2025-01-22 12:08:37 +0100 <geekosaur> they said "IO monad"
2025-01-22 12:08:32 +0100 <homo> I don't recall clean having IO monad
2025-01-22 12:08:03 +0100 <merijn> kuribas: Clean?
2025-01-22 12:07:38 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-22 12:07:12 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 246 seconds)
2025-01-22 12:05:32 +0100 <homo> kuribas try working with communities that use haxe and guile, you'll understand what I mean by pretty syntax
2025-01-22 12:04:19 +0100 <kuribas> I wouldn't call haskell "pretty syntax".
2025-01-22 12:03:57 +0100 <kuribas> there idris2 with optional lazyness.
2025-01-22 12:03:50 +0100agent314(~quassel@208.131.130.116) agent314
2025-01-22 12:03:39 +0100agent314(~quassel@208.131.130.89) (Ping timeout: 265 seconds)
2025-01-22 12:03:00 +0100 <homo> I'll say it more completely: lazy statically-typed with IO monad and pretty syntax, combination of which cannot be found in other languages
2025-01-22 12:02:59 +0100 <geekosaur> curry
2025-01-22 12:01:48 +0100 <kuribas> homo: "lazy statically-typed", are there other than haskell?
2025-01-22 12:01:23 +0100pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-01-22 11:58:55 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 264 seconds)
2025-01-22 11:58:29 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-22 11:58:10 +0100 <homo> hellwolf I'm focused on something more realistic than bootstrapping ghc and porting ghc to different platform (whether it is processor instuction set or operating system), bootstrapping haskell on different platform doesn't imply bootstrapping ghc, I don't intend to sound like ghc's stakeholder, rather I respect their lack of interest by not working with them
2025-01-22 11:57:44 +0100pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-01-22 11:50:46 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-22 11:47:53 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 245 seconds)
2025-01-22 11:44:41 +0100chele(~chele@user/chele) chele
2025-01-22 11:43:49 +0100__monty__(~toonn@user/toonn) toonn
2025-01-22 11:42:59 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-22 11:42:58 +0100j1n37-(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-01-22 11:41:28 +0100xff0x(~xff0x@2405:6580:b080:900:55d6:5b69:524c:1857)
2025-01-22 11:40:52 +0100hellwolfretiring from this thread, I guess I got lost somewhere
2025-01-22 11:40:21 +0100 <hellwolf> huh, why plan9 was brought up.
2025-01-22 11:39:28 +0100 <homo> kuribas 1. for clean bootstrap something other than ghc must be able to convert ghc language into c language, 2. practically plan9 is so different that you'll need to rewrite generated c code by hand
2025-01-22 11:38:18 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-01-22 11:37:04 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-01-22 11:36:54 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-22 11:36:38 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 245 seconds)
2025-01-22 11:36:29 +0100 <homo> just to port microhs to plan9 I'll still have to rewrite combinator virtual machine to align with plan9, and on top of that I'll need to get rid of all posix and ffi dependencies in haskell code
2025-01-22 11:35:51 +0100 <merijn> kuribas: Only kinda
2025-01-22 11:35:00 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-01-22 11:34:24 +0100j1n37-(~j1n37@user/j1n37) j1n37
2025-01-22 11:34:20 +0100 <homo> merijn and practically microhs "not being haskell" is irrelevant if all I want is to have compiler for lazy statically-typed functional programming language on plan9, even if ghc was on plan9 I would unlikely be able to build more than 1% of packages on stackage, because plan9 is neither posix nor microsoft windows
2025-01-22 11:34:18 +0100 <kuribas> Can you not compile ghc to C, and bootstrap from there?
2025-01-22 11:34:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-22 11:30:33 +0100EvanR(~EvanR@user/evanr) (Ping timeout: 252 seconds)
2025-01-22 11:30:24 +0100tnt2tnt1
2025-01-22 11:30:23 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 245 seconds)
2025-01-22 11:29:14 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-22 11:29:09 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-22 11:27:51 +0100j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)