IRC channel logs
2016-03-20.log
back to list of logs
<amz3>I bored of writing bindings.. <stis>well guile-log is ugly C code and you could base it on actually kanren and not minikanren in stead. <stis>minikanren has a completely different solver philosphy and guile-log and kanren share the approach <stis>well using a filure thunk and a continuation closure as parameters to every logical predicate <amz3>Sorry, I don't understand anymore the 'assignement' <amz3>How does this related to mk? <stis>minikanren in stead reads a return value and to the action on the values returned <amz3>You think I could rewrite minikanren to take a failure thunk and continuation closure instead? <Guest27396>anyone has a small fully autotool chained project where the doc is partially in *.texi and partially extracted the API from source, so I can copy the setup? <amz3>stis: What's the idea you have for me, I don't understand <amz3>Sorry, my english has its limits <stis>Well if you want to copy the guile-log code you need the kanren version of it to stay as much true as possible. But if you like to work nore then use minikanren. But then you are more on your own. <Guest9364>anyone has a small fully autotool chained project where the doc is partially in *.texi and partially extracted the API from source, so I can copy the setup? <amz3>stis: ok, what should I code? <stis>that is the best code reuse id with kanren. But yeah doing it in minikanren would grow your beard so mayby not take that approach. <amz3>Guest9364: dunno, it keeps changing all the time <amz3>Guest9364: maybe you did not identify yourself <amz3>Guest9364: AFAIK, only Guile does that and the last time I saw a similar question it said to use copy the docstrings by hand <stis>well first of all, decide if we really need another parser framework then go to work, try understand the guile-log sources, I'll guide you and have some fun trying to write the framework in minikanren :-) <stis>That's my suggestion amz3: you decide of cause :) <amz3>Guest9364: 00:10:42 freenode -- | daviid: Nick/channel is temporarily unavailable <amz3>stis: I'm not sure I understand, please expand your explanation <Guest9364>amz3: did register and it says freenode -- | You are now identified for daviid. <amz3>Guest9364: you should contact freenode or something <amz3>stis: your idea is to rewrite guile-log framework in minikanren? <stis>Not everything, just the parser framework or a parser framework. <stis>everything is just too much <ozzloy>how do i use sxml simple? can someone give me a minimum example file? <amz3>ozzloy: what do you want to do? <stis>amz3: getting late here, need to go. I follow the logs so just shout if you need to conversate :) <ozzloy>i'd like to write something like (html (head (title "helo wrld")) (body (h1 "hi wrld"))) and get "<html>..." <amz3>ozzloy: use sxml->xml procedure <ozzloy>oh, maybe i got it now. (sxml->xml '(html ...)) <ozzloy>is there good documentation about this somewhere? <ozzloy>i'm reading through guile-web sources <ozzloy>if i want to write something for this, how do i do that? <ozzloy>like a quick start complete minimal example file <amz3>look at guix-web or haunt <davexunit>upvote to keep it there and maybe generate some discussion <amz3>ozzloy: you want to write SXML overview? <ozzloy>also, is there refheap for guile? <amz3>usually people use paste.lisp.org <amz3>I prefer www.friendpaste.com <amz3>you should add an example use of sxml-match and sxpath <amz3>but maintainer might be better suited to answer the Q? <ozzloy>i think a better idea would be to remove the content-type and make it just output xml for html <ozzloy>so forget about making it valid as a cgi script <ozzloy>is there a better way to do the '<!DOCTYPE html>' part? <amz3>yeah there is another way I think, look at how guile haunt <amz3>wait I look that for you <ozzloy>amz3, super duper awesome! thanks! <ozzloy>oh, lol, looks like they do the same thing <amz3>written by the same person... <ozzloy>with a function they wrote, doctype->html <ozzloy>oh, i mean they just write out the root node, there isn't something in the sxml simple lib for it, it seems <ozzloy>ACTION goes to look up root nodes in xml docs <amz3>doctype is html it's no part xml spec <ozzloy>oh, so it isn't! today, i learned! <ozzloy>root node is not the name of the unmatched thing at the top. good to know. <ozzloy>what are those things at the top then, like <!DOCTYPE> or <?xml version="1.0" ..> or similar? <ozzloy>what's the name for those things? <amz3>for xml in preamble i think <ozzloy>amz3, thanks! now i know that is called preamble <ozzloy>and doctype is one of the preambles, and html 5 requires the doctype preamble <ozzloy>how do i suppress the compilation note? i see how to disable compilation, but i don't want that, i just want guile to stop telling me every time it compiles <jyc>I'd like to know that too :P <amz3>I'm wondering whether i can use a monad with wiredtiger <fhmgufs>Hi, I need some guile-gnome help again: what is the guile symbol for definitions like G_TYPE_BOOLEAN? Somewhere in the documentation it says <g-type-boolean> but that raises an error. <amz3>I'm studying functionnal programming (!) and I am looking at the code of guile-combinators <amz3>I'm wondering whether the monad you created merge the behavior of Maybe into the parser monad? <amz3>did you learn monads using haskell? <davexunit>SICP teaches you about a monad without ever using the term because it wasn't coined yet. <fhmgufs>What's the proper way to create a <gtk-list-store> instance in guile-gnome? <fhmgufs>I want to create a <gtk-list-store> using (gtk-list-store-new) but I can't find the right arguments for that function. <fhmgufs>I don't think that nobody used this funcion before. <fhmgufs>(gtk-list-store-new 5 <g-type-boolean> <g-type-string> <g-type-string> <g-type-string> <g-type-string>) <fhmgufs>And it says: Unbound variable: <g-type-boolean> (also for the strings) <daviid>also, it is <gboolean>, <gchararray> ... these are some exception in names <fhmgufs>guile-gnome is great work and Gtk+ programming in Scheme is fun (much clearler than C) <daviid>fhmgufs: for the type, see section 4.2 of the Guile-GNOME: GObject manual <jmarciano>during listening to FreedomBox, how do I split string by \\n, maybe (string-split string #\\n) ? But this removes some of my "n" in strings ONLY. <fhmgufs>What's the nice negation function for booleans in scheme? <fhmgufs>Ok, was just to lazy to look in the docs :)