Newest at the top
| 2024-05-07 18:24:35 +0200 | <ski> | it also has parametric polymorphism, but no dependent types |
| 2024-05-07 18:24:22 +0200 | <ski> | later add more constructors (or new clauses for a predicate, for that matter) |
| 2024-05-07 18:24:16 +0200 | <ski> | lambdaProlog has .. more or less, algebraic datatypes (but you don't declare the constructors together with the type, in a single declaration. and you can, later, declare more constructors, if you want to. although, with the module system of Teyjus (a compiler for lambdaProlog, compiling to a bytecode for a WAM-like machine, similar to many Prolog implementations), iirc, you can restrict who (if anyone) can |
| 2024-05-07 18:22:35 +0200 | darius87 | (~darius@93.126.130.253) (Quit: Client closed) |
| 2024-05-07 18:21:50 +0200 | <lambdabot> | Consider it noted. |
| 2024-05-07 18:21:50 +0200 | <ski> | @tell lortabac well, having locally (lexically/scoped) definitions isn't quite the same thing as what i was talking about in lambdaProlog (although you can also lexically scope some clauses defining a predicate, over (part of) another predicate clause, if you wish to) |
| 2024-05-07 18:21:13 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-05-07 18:20:12 +0200 | <ski> | see <https://www.mercurylang.org/> and #mercury |
| 2024-05-07 18:20:03 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-07 18:20:00 +0200 | <ski> | oh, and it's purely declarative, no side-effects (well, it also has an impurity tracking system, but it's mainly used for FFI stuff, before wrapping in a pure interface), it does I/O and mutable data structures through uniqueness (similar to Clean, except that Mercury tracks this in insts (instantiation states), not in types), you thread an I/O state through your I/O interactions |
| 2024-05-07 18:18:09 +0200 | <ski> | kuribas : for statically typed Prolog, Mercury might be closer, though. it has predicates/relations as well as functions (both can be higher-order), statical types, statical modes (& insts) and determinisms, (parameterizable) algebraic data types, parametric polymorphism, type classes (not higher-order, though), existentials (actual existential quantification, also output type class constraints) |
| 2024-05-07 18:17:19 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-05-07 18:17:15 +0200 | darius87 | (~darius@93.126.130.253) |
| 2024-05-07 18:14:53 +0200 | <ski> | kuribas : you can program in lambdaProlog, it has I/O and stuff. Twelf doesn't have any built-in I/O though, apart from the interactor (though i str seeing some program used to wrap that, feeding the interactor with queries, then parsing the result substitutions and doing something with them) |
| 2024-05-07 18:13:45 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-07 18:09:54 +0200 | glguy | (g@libera/staff/glguy) |
| 2024-05-07 18:09:26 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-07 18:08:14 +0200 | glguy | (g@libera/staff/glguy) (Quit: Quit) |
| 2024-05-07 18:03:43 +0200 | madariaga | (~madariaga@user/madariaga) (Ping timeout: 260 seconds) |
| 2024-05-07 18:00:35 +0200 | agent314 | (~quassel@static-198-54-134-186.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2024-05-07 17:59:21 +0200 | madariaga | (~madariaga@user/madariaga) |
| 2024-05-07 17:58:35 +0200 | madariaga | (~madariaga@user/madariaga) (Client Quit) |
| 2024-05-07 17:58:19 +0200 | madariaga | (~madariaga@user/madariaga) |
| 2024-05-07 17:49:09 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) |
| 2024-05-07 17:48:52 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:6f57:1144:3b82:7ce1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-07 17:47:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-07 17:47:22 +0200 | euleritian | (~euleritia@dynamic-176-004-187-187.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-07 17:45:52 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-07 17:45:35 +0200 | danse-nr3 | (~danse-nr3@151.43.102.160) (Ping timeout: 264 seconds) |
| 2024-05-07 17:42:28 +0200 | euleritian | (~euleritia@dynamic-176-004-187-187.176.4.pool.telefonica.de) |
| 2024-05-07 17:41:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-05-07 17:41:20 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-07 17:37:25 +0200 | Square3 | (~Square4@user/square) |
| 2024-05-07 17:37:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-07 17:36:48 +0200 | euleritian | (~euleritia@dynamic-176-004-187-187.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-07 17:35:38 +0200 | agent314 | (~quassel@static-198-54-134-186.cust.tzulo.com) |
| 2024-05-07 17:27:54 +0200 | agent314 | (~quassel@static-198-54-134-186.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 2024-05-07 17:27:38 +0200 | <kuribas> | A statically typed prolog sounds appealing :) |
| 2024-05-07 17:27:21 +0200 | <kuribas> | Or are they more theorem provers/research languages? |
| 2024-05-07 17:27:09 +0200 | <kuribas> | Can you program in these languages? |
| 2024-05-07 17:21:43 +0200 | falafel | (~falafel@211.184.50.36) (Ping timeout: 260 seconds) |
| 2024-05-07 17:14:24 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-05-07 17:13:49 +0200 | Mach | (~Mach@86.127.202.233) |
| 2024-05-07 17:10:16 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-05-07 17:10:08 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-05-07 17:10:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-07 17:08:28 +0200 | danse-nr3 | (~danse-nr3@151.43.102.160) |
| 2024-05-07 17:08:02 +0200 | lg188 | (~lg188@82.18.98.230) (Client Quit) |
| 2024-05-07 17:07:44 +0200 | lg188 | (~lg188@82.18.98.230) |
| 2024-05-07 17:04:29 +0200 | lg188 | (~lg188@82.18.98.230) (Ping timeout: 252 seconds) |