freenode/#lisp - IRC Chatlog
Search
20:43:19
pjb
May be AI had much less resources in the time of InterLisp, and nowadays you could tap the resources of Amazon, Google, Internet and the cloud to make something way more intelligent!
20:43:45
pjb
amerlyq: there's also code generation AI, so you don't even have to write the code yourself! Just describe your domain.
20:51:31
amerlyq
you meant "write even more complex and uncontrollable mess" :) I somehow relate to V.Vinge "A Deepness in the Sky" vision of future of "broken layers over broken layers of software". Ok, lets wait until AI will consolidate everything and salvage everybody... in some unacceptable ways :)
20:54:30
amerlyq
Yep, it's exactly what I meant by "consolidate everything". And as humans are the main factor for creating more and more chaos inside resulting system... there is the obvious way to fix it for AI.
21:00:24
amerlyq
Is there any small but nice example of extensive use of typesystem in Lisp? Most libs I see are fit into two extremities -- very weak typesystem usage, or very complex by itself to see through.
4:28:20
madrik
It seems to me that Racket and the group behind it may be somewhat what amerlyq is looking for
4:34:31
aeth
It's hard to find a good example of type system usage because the syntax is a bit awkward in vanilla Lisp, so pretty much anyone who heavily relies on types will use a macro, probably their own.
4:36:08
aeth
And e.g. (unsigned-byte 32) is pretty verbose, even though it's the most general purpose way to do it, so if you have a bunch of integer sizes in your code, you're probably using shorthand names (and the only conventional one is octet for ub 8)
5:06:05
pjb
aeth: the CL type system is a good example of a type system: (+ 1 "42") #| ERROR: The value "42" is not of the expected type number. |#
5:28:24
aeth
pjb: CL is one of the most typed dynamically typed languages because (1) it's not a coercive language like you said and (2) it's not particularly duck typed either