Logs: freenode/#haskell
| 2021-05-10 08:05:05 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-10 08:06:07 | × | coeus quits (~coeus@p200300d02719fc0089b803c6556693c3.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-10 08:07:19 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-05-10 08:07:19 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-10 08:08:03 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-10 08:08:09 | × | sedeki quits (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-10 08:09:30 | → | knupfer joins (~Thunderbi@2a02:3038:406:c659:d4fd:5d5a:d8dd:f80a) |
| 2021-05-10 08:10:21 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-10 08:10:39 | × | ulidtko|kk quits (~ulidtko@194.54.80.38) (Remote host closed the connection) |
| 2021-05-10 08:10:46 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-05-10 08:10:51 | × | ddere quits (uid110888@gateway/web/irccloud.com/x-rqwfdfncjcxqtnku) (Quit: Connection closed for inactivity) |
| 2021-05-10 08:11:02 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-10 08:11:56 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-05-10 08:16:13 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-10 08:20:04 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-10 08:20:25 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 250 seconds) |
| 2021-05-10 08:20:51 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-10 08:20:51 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de) |
| 2021-05-10 08:22:27 | hackage | jukebox 0.5.3 - A first-order reasoning toolbox https://hackage.haskell.org/package/jukebox-0.5.3 (NickSmallbone) |
| 2021-05-10 08:23:17 | <jonathanx> | How do I check if a string is a parseable date/time? e.g. "2021-05-10T06:44:35.968082819Z" |
| 2021-05-10 08:23:32 | <Taneb> | You could attempt to parse it |
| 2021-05-10 08:25:58 | → | coeus joins (~coeus@p200300d02708a90071c651138f13aa2e.dip0.t-ipconnect.de) |
| 2021-05-10 08:26:26 | <jonathanx> | I have been looking at https://hackage.haskell.org/package/time-1.11.1.2/docs/Data-Time-Format-ISO8601.html but I can't figure out how to actually parse using a ReadP |
| 2021-05-10 08:26:54 | <jonathanx> | This feels like rather basic stuff but I'm a bit stuck :s |
| 2021-05-10 08:27:01 | × | malumore quits (~malumore@151.62.127.121) (Ping timeout: 260 seconds) |
| 2021-05-10 08:28:07 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-10 08:29:01 | <Taneb> | Use iso8501ParseM |
| 2021-05-10 08:29:12 | <Taneb> | *iso8601ParseM |
| 2021-05-10 08:32:46 | <jonathanx> | giving a MonadFail. hoogle isn't helpful when I'm searching for "MonadFail m => m a -> Bool" |
| 2021-05-10 08:34:28 | <enikar> | use Maybe for the Monad? |
| 2021-05-10 08:34:57 | <jonathanx> | hm. ofc |
| 2021-05-10 08:34:58 | <jonathanx> | :D |
| 2021-05-10 08:35:00 | <jonathanx> | ty |
| 2021-05-10 08:38:39 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
| 2021-05-10 08:38:44 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-pkpihoadcsprmglz) |
| 2021-05-10 08:41:51 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 2021-05-10 08:44:46 | → | cdsmith joins (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-10 08:45:20 | → | rdd joins (~user@c-407ce255.012-81-73746f39.cust.ownit.se) |
| 2021-05-10 08:47:47 | → | malumore joins (~malumore@151.62.127.121) |
| 2021-05-10 08:48:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-10 08:50:35 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-10 08:50:43 | × | vk3wtf quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-10 08:51:13 | → | vk3wtf joins (~doc@61.68.250.44) |
| 2021-05-10 08:52:20 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-10 08:52:46 | × | malumore quits (~malumore@151.62.127.121) (Ping timeout: 240 seconds) |
| 2021-05-10 08:53:08 | × | drbean_ quits (~drbean@TC210-63-209-84.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-10 08:54:40 | × | clefru quits (~clefru@unaffiliated/clefru) (Quit: Leaving) |
| 2021-05-10 08:54:41 | → | ram19890 joins (~ram@49.205.84.15) |
| 2021-05-10 08:55:36 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-10 08:57:17 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-10 08:57:18 | × | frobnicator quits (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Quit: WeeChat 3.0) |
| 2021-05-10 08:58:01 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-10 08:58:13 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 2021-05-10 08:58:25 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-10 08:58:33 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-10 08:59:57 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-05-10 09:00:03 | × | johnnyv[m] quits (badwolf256@gateway/shell/matrix.org/x-snikqtdbljwraqcc) (Quit: Idle for 30+ days) |
| 2021-05-10 09:00:11 | × | TheWizardTower[m quits (thewizardt@gateway/shell/matrix.org/x-mhynxqoxcylcdnln) (Quit: Idle for 30+ days) |
| 2021-05-10 09:00:11 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-10 09:00:15 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-10 09:00:22 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-10 09:01:47 | → | sphi joins (~sphi@unaffiliated/sphi) |
| 2021-05-10 09:02:00 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-10 09:02:01 | <sphi> | Hi |
| 2021-05-10 09:02:01 | <sphi> | > i am new to servant and been going through the docs |
| 2021-05-10 09:02:01 | <sphi> | > not sure i still get it tho |
| 2021-05-10 09:02:01 | <sphi> | > so my endpoints / routes are, well, types ? |
| 2021-05-10 09:02:03 | <sphi> | > and their handlers are functions in those types ? |
| 2021-05-10 09:02:04 | <lambdabot> | <hint>:1:29: error: <hint>:1:29: error: parse error on input ‘,’ |
| 2021-05-10 09:02:05 | <lambdabot> | error: |
| 2021-05-10 09:02:05 | <lambdabot> | • Variable not in scope: sure :: Bool |
| 2021-05-10 09:02:05 | <lambdabot> | • Perhaps you meant ‘pure’ (imported from Control.Applicative)error: Var... |
| 2021-05-10 09:02:05 | <lambdabot> | error: |
| 2021-05-10 09:02:06 | <lambdabot> | • Variable not in scope: am |
| 2021-05-10 09:02:08 | <lambdabot> | <hint>:1:34: error: <hint>:1:34: error: parse error on input ‘in’ |
| 2021-05-10 09:02:10 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-05-10 09:03:27 | <[exa]> | sphi: `>` triggers some bots here, you don't need to use it |
| 2021-05-10 09:04:36 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
| 2021-05-10 09:04:37 | <sphi> | [exa]: i see. |
| 2021-05-10 09:04:39 | <[exa]> | sphi: the whole API structure in servant is defined by types (so that it can be automatically processed in the compiler). The functions and handlers are the tiny pieces of actual working code that needs to fit into the typed API structure |
| 2021-05-10 09:05:26 | <sphi> | [exa]: yea, that's what i could make of it, but wasn't really sure of. |
| 2021-05-10 09:06:19 | <dminuoso> | sphi: Small but subtle corrections: A handler is not necessarily a function, it can just be a monadic value. |
| 2021-05-10 09:06:20 | <sphi> | [exa]: is there a resource that explains it from a higher / this is what it does POV? or is it more of, follow the tutorials on the docs site till it clicks for you ? |
| 2021-05-10 09:06:32 | <sphi> | i am new at this. |
| 2021-05-10 09:06:49 | <tdammers> | if you're new to Haskell in general, then servant may be a bit too much to digest |
| 2021-05-10 09:06:54 | <dminuoso> | servant is a bit tough on newcomers, I dont know of any good introduction. Just going through the official readthedocs seemed like the best. |
| 2021-05-10 09:07:13 | <dminuoso> | It uses some very advanced type level tricks |
| 2021-05-10 09:07:16 | <sphi> | tdammers: i checked out scotty. |
| 2021-05-10 09:07:20 | <sphi> | meh. |
| 2021-05-10 09:07:33 | <sphi> | i can see it being limiting fairly quickly |
| 2021-05-10 09:07:43 | <tdammers> | scotty is surprisingly powerful |
| 2021-05-10 09:07:44 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 2021-05-10 09:07:46 | <sphi> | then i though, might as bite the bullet |
| 2021-05-10 09:07:57 | <sphi> | and get on the servant wagon from the start |
| 2021-05-10 09:08:15 | <sphi> | tdammers: yea? |
| 2021-05-10 09:08:19 | <[exa]> | scotty tutorials look surprisingly shaky when compared to what it can do |
| 2021-05-10 09:08:42 | <tdammers> | servant isn't a silver bullet. it introduces considerable complexity, and it is actually more limited in what it can do than scotty, the latter being just a thin layer on top of raw WAI |
| 2021-05-10 09:08:44 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-05-10 09:08:46 | <dminuoso> | sphi: So my two cents on servant is: I wouldnt use servant without generics anymore, and with generics you have some additional hoops - without understanding some of the type machinery it's very thick and intransparent. |
| 2021-05-10 09:08:46 | <sphi> | what do you guys use for your web programming stuff ? |
All times are in UTC.