Logs: freenode/#haskell
| 2021-03-16 23:34:48 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 2021-03-16 23:36:43 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds) |
| 2021-03-16 23:36:56 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) |
| 2021-03-16 23:37:01 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-03-16 23:37:56 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-16 23:38:46 | → | proteusguy joins (~proteusgu@cm-58-10-208-13.revip7.asianet.co.th) |
| 2021-03-16 23:39:17 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-16 23:40:13 | × | Tario quits (~Tario@200.119.186.54) (Read error: Connection reset by peer) |
| 2021-03-16 23:40:15 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-16 23:40:34 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-16 23:40:49 | <hololeap> | :t atomically |
| 2021-03-16 23:40:51 | <lambdabot> | error: Variable not in scope: atomically |
| 2021-03-16 23:40:55 | <hololeap> | % :t atomicall |
| 2021-03-16 23:40:55 | <yahb> | hololeap: ; <interactive>:1:1: error:; * Variable not in scope: atomicall; * Perhaps you meant one of these: `atomically' (imported from Control.Concurrent.STM), `atomically#' (imported from GHC.Prim) |
| 2021-03-16 23:40:57 | <hololeap> | % :t atomically |
| 2021-03-16 23:40:57 | <yahb> | hololeap: STM a -> IO a |
| 2021-03-16 23:41:58 | <hololeap> | i'm looking into making something like: atomically' :: MonadBaseControl STM m => m a -> IO a |
| 2021-03-16 23:42:03 | <hololeap> | how can this be done? |
| 2021-03-16 23:42:58 | <hololeap> | or maybe it would be MoandTransControl |
| 2021-03-16 23:43:00 | × | Sornaensis quits (~Sornaensi@45.56.183.30) (Ping timeout: 246 seconds) |
| 2021-03-16 23:43:38 | <hololeap> | i'm looking for a generalized version of UnliftIO that works for base monads other than IO |
| 2021-03-16 23:43:52 | <hololeap> | (in this case, STM) |
| 2021-03-16 23:45:20 | ← | jw4 parts (~jw4@unaffiliated/jw4) () |
| 2021-03-16 23:45:55 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-16 23:46:45 | <hololeap> | i was told yesterday that Control.Monad.Trans.Control has this functionality, but i'm not seeing it |
| 2021-03-16 23:46:51 | → | loller_ joins (uid358106@gateway/web/irccloud.com/x-kduhobsfuxvxilil) |
| 2021-03-16 23:47:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-16 23:47:30 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection) |
| 2021-03-16 23:48:14 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) |
| 2021-03-16 23:48:52 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 244 seconds) |
| 2021-03-16 23:48:57 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 246 seconds) |
| 2021-03-16 23:49:18 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-16 23:50:02 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection) |
| 2021-03-16 23:50:14 | → | molehillish joins (~molehilli@ip98-167-226-26.ph.ph.cox.net) |
| 2021-03-16 23:53:21 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-16 23:54:07 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-16 23:54:22 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:3347:96de:66cc:cf9e) (Ping timeout: 265 seconds) |
| 2021-03-16 23:55:57 | → | ep1ctetus_ joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-16 23:58:35 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-16 23:58:45 | × | ep1ctetus_ quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Client Quit) |
| 2021-03-16 23:58:57 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-16 23:59:07 | × | epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 256 seconds) |
| 2021-03-16 23:59:10 | <hololeap> | nvm, not even UnliftIO does things quite like that. i see the error in my reasoning |
| 2021-03-16 23:59:18 | × | fiQ2 quits (~fiQ@mirkk.ninja) (Quit: ZNC - https://znc.in) |
| 2021-03-17 00:00:12 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-17 00:00:27 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-17 00:00:35 | Alleria | is now known as Guest2253 |
| 2021-03-17 00:00:56 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 265 seconds) |
| 2021-03-17 00:04:04 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-03-17 00:04:05 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-17 00:04:21 | × | Guest2253 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 246 seconds) |
| 2021-03-17 00:05:46 | × | apoc quits (~apoc@49.12.13.193) (Ping timeout: 265 seconds) |
| 2021-03-17 00:05:52 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-17 00:05:58 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 265 seconds) |
| 2021-03-17 00:06:12 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-17 00:06:42 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:95b6:d0de:2d1d:5979) |
| 2021-03-17 00:07:29 | sm_ | is now known as sm |
| 2021-03-17 00:09:14 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-17 00:11:45 | → | fen joins (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) |
| 2021-03-17 00:13:06 | <fen> | how can i make something where i can bind values into scope to use in the definition of more values? only with simple algebraic expressions (+),(*),(/)(^) and all values as Doubles... |
| 2021-03-17 00:13:46 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-17 00:13:52 | <Gurkenglas> | > let x % y = mod x y in 3 % 2 % 1 |
| 2021-03-17 00:13:54 | <lambdabot> | 0 |
| 2021-03-17 00:14:25 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 256 seconds) |
| 2021-03-17 00:14:33 | <fen> | do i need a syntax tree? or a scope of some kind? |
| 2021-03-17 00:15:34 | <Gurkenglas> | fen, the above is a term, and can be used anywhere you could use mod 3 (mod 2 1) (or was the default association mod (mod 3 2) 1?) |
| 2021-03-17 00:16:06 | <fen> | i have an idea how i could do it with lists and some parametric types, but i was wondering if anyone that knew how it would be approached from a DSL style |
| 2021-03-17 00:16:06 | <Gurkenglas> | fen, what are you using to evaluate your haskell code? ghci? ghc? a website? |
| 2021-03-17 00:16:18 | <fen> | Gurkenglas: ghci |
| 2021-03-17 00:16:39 | <fen> | well ghc if i ever need to optimise it |
| 2021-03-17 00:17:14 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-17 00:17:14 | <fen> | not sure what you meant about mod.. |
| 2021-03-17 00:18:02 | <Gurkenglas> | fen, I was giving an example - defining the function (%) that can be used as a value of type Double -> Double -> Double |
| 2021-03-17 00:18:17 | <fen> | ok, why? |
| 2021-03-17 00:18:40 | <fen> | i didnt think it was directed at me at first, i cant see how its relevant |
| 2021-03-17 00:18:41 | → | CoconutCrab joins (~Cua@unaffiliated/coconutcrab) |
| 2021-03-17 00:19:14 | <fen> | oh you have it using Doubles now, so i guess you wanted to extend the simple algebraic opperations set |
| 2021-03-17 00:19:18 | <fen> | ok, i understand now |
| 2021-03-17 00:19:19 | <Gurkenglas> | ah, i thought you wanted to know how to add simple algebraic expressions like (+),(*),(/),(^) to ghci's scope |
| 2021-03-17 00:19:22 | <MarcelineVQ> | directly, merely binding things with let and using them satisfies your need |
| 2021-03-17 00:19:45 | <Gurkenglas> | you can write x = 2+2 :: Double into ghci |
| 2021-03-17 00:19:55 | <fen> | {x=1,y=2,a1=x+y,a2=y+a1/2,a3=a1 % a2 ... |
| 2021-03-17 00:20:24 | <fen> | im binding values at each "new line" |
| 2021-03-17 00:20:47 | <fen> | they can only be bound to those declared so far, so it seems like an imperative language |
| 2021-03-17 00:21:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-03-17 00:21:43 | <fen> | MarcelineVQ "let" binds things into haskells scope, i wanted it bound inside a DSL |
| 2021-03-17 00:22:10 | <Gurkenglas> | If you really want to carry around a data structure, you can encode each instruction as [(String, Double)] -> [(String, Double)] |
| 2021-03-17 00:22:29 | <fen> | and use String lookup for variable names |
| 2021-03-17 00:22:41 | <fen> | could do, or just use their Int position in the list |
| 2021-03-17 00:22:53 | <fen> | but what if its an a data tree |
| 2021-03-17 00:22:59 | <fen> | idk what you call them |
| 2021-03-17 00:23:05 | <fen> | like an AST |
| 2021-03-17 00:24:04 | <fen> | like how people define simple lambda calculus with Var and Expr etc |
| 2021-03-17 00:24:50 | <fen> | i guess the way those are compled makes decleration order agnositc |
| 2021-03-17 00:25:30 | <fen> | i basically just want a polynomial where i can refer to the previous terms in the polynomial in the later terms |
| 2021-03-17 00:25:32 | <fen> | by name |
| 2021-03-17 00:25:38 | <fen> | or by position |
| 2021-03-17 00:25:49 | <fen> | and wanted to know how to represent this nicely in haskell |
| 2021-03-17 00:26:08 | <Gurkenglas> | does it need to be interpreted by a program you write in haskell, or can it be written directly in haskell? |
| 2021-03-17 00:26:10 | <fen> | since indexing with Nats is really a drag |
All times are in UTC.