Newest at the top
2024-04-18 10:23:15 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) (Read error: Connection reset by peer) |
2024-04-18 10:19:42 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:a430:c3a5:5a62:375c) |
2024-04-18 10:12:19 +0200 | xdminsy | (~xdminsy@117.147.70.203) |
2024-04-18 10:09:13 +0200 | bliminse | (~bliminse@user/bliminse) |
2024-04-18 10:07:51 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
2024-04-18 10:05:35 +0200 | __monty__ | (~toonn@user/toonn) |
2024-04-18 10:02:04 +0200 | <danse-nr3> | i see. I like the \ though |
2024-04-18 10:02:00 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-04-18 10:01:56 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-18 10:01:35 +0200 | <probie> | It's how they spell "lambda" in ocaml. In standard ml, it begins a function definition |
2024-04-18 09:58:43 +0200 | <danse-nr3> | what does `fun` do in ocaml? I also think common lisp missed an opportunity defining `defun` instead of `fun` |
2024-04-18 09:56:15 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-04-18 09:55:27 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-04-18 09:53:16 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 260 seconds) |
2024-04-18 09:50:46 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
2024-04-18 09:50:39 +0200 | <probie> | jackdk: Haskell manages to have "functional programming" without "fun, unlike ocaml or standard ml |
2024-04-18 09:50:01 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
2024-04-18 09:49:56 +0200 | bilegeek | (~bilegeek@2600:1008:b082:b7f1:2f0e:c3ab:9fc1:67e7) (Quit: Leaving) |
2024-04-18 09:46:42 +0200 | witchcraftery79 | (~witchcraf@user/witchcraftery) (Client Quit) |
2024-04-18 09:45:05 +0200 | witchcraftery79 | (~witchcraf@user/witchcraftery) |
2024-04-18 09:44:02 +0200 | danse-nr3 | (~danse-nr3@ge-19-98-47.service.infuturo.it) |
2024-04-18 09:43:19 +0200 | <ncf> | monochrom: fmap and pure, and fmap pure == pure (Fη = ηF) |
2024-04-18 09:40:30 +0200 | zetef | (~quassel@5.2.182.99) |
2024-04-18 09:39:54 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
2024-04-18 09:38:54 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-04-18 09:34:10 +0200 | <jackdk> | can't have "functional programming" without "fun" |
2024-04-18 09:29:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-18 09:28:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-18 09:28:14 +0200 | euleritian | (~euleritia@dynamic-176-006-184-220.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-18 09:27:44 +0200 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
2024-04-18 09:27:21 +0200 | tok | (~user@user/tok) (Remote host closed the connection) |
2024-04-18 09:24:42 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 256 seconds) |
2024-04-18 09:22:51 +0200 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Remote host closed the connection) |
2024-04-18 09:22:02 +0200 | gmg | (~user@user/gehmehgeh) |
2024-04-18 09:16:19 +0200 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) |
2024-04-18 09:08:15 +0200 | danse-nr3 | (~danse-nr3@ge-19-98-47.service.infuturo.it) (Ping timeout: 260 seconds) |
2024-04-18 09:07:05 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 256 seconds) |
2024-04-18 09:04:05 +0200 | Square | (~Square@user/square) |
2024-04-18 09:02:24 +0200 | axioms | (~gnu-user@2a00:23c7:c32c:b101:b454:be36:7ae4:3bb6) (Remote host closed the connection) |
2024-04-18 09:01:30 +0200 | <tomsmeding> | they could only have been disappointed anyway |
2024-04-18 08:59:02 +0200 | <danse-nr3> | oops they went. Not enough party i guess |
2024-04-18 08:58:47 +0200 | <danse-nr3> | \o |
2024-04-18 08:56:27 +0200 | yeitrafferin | (~user@2a04:4540:720b:4400:79a:67f9:a8da:f5b) |
2024-04-18 08:53:25 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-18 08:53:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-18 08:51:53 +0200 | fixmyname | (~unorgaaco@2603:3026:431:4300:c547:8137:8f8b:9e0f) (Quit: Leaving) |
2024-04-18 08:48:09 +0200 | tok | (~user@user/tok) |
2024-04-18 08:47:27 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
2024-04-18 08:45:50 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-04-18 08:42:44 +0200 | <fixmyname> | hey party people |