libera/#commonlisp - IRC Chatlog
Search
14:54:13
Demosthenex
pve: i just found out what i'm trying to describe is called semi-structured data extraction, and libraries like https://github.com/dmulyalin/ttp and https://github.com/google/textfsm/wiki/TextFSM appear to be doing similar things in python
15:32:42
pve
it reminds me of "event extraction" in natural language processing, where the input is normal text, like news articles etc
15:33:58
Demosthenex
yeah, but NLP is much harder. this is more about taking specific numbers in paragraph records and flattening them into database rows
15:44:58
jcowan
takes legal documents and NLP models of important provisions and extracts them from the documents so a lawyer doesn't have to read the whole document
15:45:36
lisp123
The team that created much of MS Office are working in a startup to do this at scale
15:52:07
Demosthenex
i'm just trying to import data from san arrays and san switches into a spreadsheet for my use
15:57:45
lisp123
If I could invest in them, I would...seems like they will be succesful given MS Office Files run in every corporate office + its such a bad format to parse
16:03:39
lisp123
Still, their connections to MS would probably help them a lot - could see them pitching their products to MS for integration into their suite. They have the former head of Azure as a board member / major investor
16:05:01
lisp123
Then again...it is founded by one of the inventors of XML....so maybe they won't do too well :D
16:06:59
jcowan
Don't underestimate Paoli: he was a very heavy hitter before MS reduced him to a robot on the XML WG. MS wanted a seat on that WG, and luckily during the critical design period he was able to contribute a lot.
16:07:32
jcowan
Don't underestimate the applicability of XML to its original domain, documents, either.
16:27:23
Josh_2
If a file is uploaded to hunchentoot, does hunchentoot automatically delete it after the evaluation of the handler?
16:30:48
Bike
i haven't used hunchentoot, but "The file denoted by path will be deleted after the request has been handled - you have to move or copy it somewhere else if you want to keep it. " says the manual
16:54:48
ecraven
is there any way to tell emacs that my lisp does have #+Lispm, and it should not show that code commented out?
17:35:32
random-nick
ecraven: slime should be able to look at the inferior lisp's *features* and show the code as not commented out
17:38:55
lotuseater
random-nick: I tried, first not having :lispm in it, then it looks like a comment, then (pushnew :lispm *features*) and it shows it like code
20:40:38
phoe
also, in the example at https://coalton-lang.github.io/20211010-introducing-coalton/ where you (define (hello name) ...) you have "these lines are Common Lisp" - what is the variable UNIT, where does it come from?
20:43:37
stylewarning
This may only increase confusion but https://github.com/coalton-lang/coalton/blob/main/src/library/types.lisp#L6
20:44:58
phoe
looks to me like COALTON:UNIT is a self-evaluating symbol, and you also described that (deftype unit () '(eql unit))
20:50:54
lotuseater
with coalton a bit of Haskell feeling comes up :) but it's more inspired by SML iirc
20:56:55
stylewarning
phoe: from Coalton’s perspective, Unit is a type with one value, Unit. There’s no concept of a symbol in Coalton. In Lisp, though, Unit is implemented as a symbol, so indeed it just looks like a self-evaluating symbol. (Very pedantic of course.)
20:57:33
stylewarning
It’s logically equivalent to the pure Coalton code: (define-type Unit Unit) — but isn’t that way because it needed to be “bootstrapped”
21:07:21
fitzsim
I had been pulling from the old repo from time to time and thought development had stopped
21:09:26
phoe
stylewarning: in define-type binary-tree, is (Leaf) supposed not to have any value in it?
21:11:34
phoe
Coalton is case-insensitive by default since it uses the standard Lisp readtable - is that correct?
21:20:11
phoe
also, beach is gonna scold you about the use of term "CLOS classes" once he wakes up; you may want to change that to "standard classes" :D
21:21:32
moon-child
phoe: do you suppose he will acknowledge something that has not a formal specification?
21:29:16
hayley
stylewarning: Dumb question, are you aware of the work on the Strongtalk type system?
21:29:58
hayley
I see Coalton went down an ML-esque route, but they could type Smalltalk while preserving the dynamicism of it.
21:30:40
stylewarning
I wonder what it’s type language looks like and what invariants it can express
21:32:57
hayley
https://upload.wikimedia.org/wikipedia/commons/thumb/3/3c/Strongtalk-system.png/781px-Strongtalk-system.png Looks to have parametric polymorphism at least.
21:33:00
jcowan
I worked on a project called Steme which was like Coalton but for Scheme. Unfortunately it broke down on irreconcilable design differences. (We didn't learn about Coalton until near the end.) I think my insistence that Steme should be pure was probably a mistake, but the idea of interoperating co-languages was there.
21:34:15
moon-child
raku's runtime is intended to permit interoperation of disparate languages. Currently it only hosts raku and its bootstrapping subset, but there's no reason others couldn't be added
21:34:57
fitzsim
"See the eval example above.": the list-length example of match shows the use of the wildcard, where the eval example doesn't
21:35:32
stylewarning
I think I just meant as an example of MATCH but maybe the language could be clearer
21:37:02
jcowan
no need for explicit bridges, though; you could write the type of a Scheme function in a Steme declaration, provided you certified its purity, and Scheme could call Steme directly.
21:40:59
stylewarning
(At no cost but a few extra characters typed and microseconds spent compiling)
21:42:25
jcowan
If your Coalton function calls a lot of Lisp code or vice versa, it's harder to read with explicit bridging. The Steme idea was to define a bridge just once, not every time it is used.
0:19:10
aeth
stylewarning: oh, you did that? Shouldn't you be typeerror instead of stylewarning, then?