[08:00:19] *** Joins: vin-ivar (uid74719@gateway/web/irccloud.com/x-rrxumbrzzjgbsghn)
[12:07:54] *** Quits: vin-ivar (uid74719@gateway/web/irccloud.com/x-rrxumbrzzjgbsghn) (Quit: Connection closed for inactivity)
[12:30:34] *** Joins: jmvanel (~jmvanel@her75-1-78-193-21-40.fbxo.proxad.net)
[12:36:00] *** Joins: vin-ivar (~vinit@122.170.51.152)
[13:13:19] *** Quits: vin-ivar (~vinit@122.170.51.152) (Ping timeout: 255 seconds)
[13:14:59] *** Joins: vin-ivar (~vinit@122.170.51.152)
[13:16:07] *** Joins: Toni_ (82f13314@gateway/web/freenode/ip.130.241.51.20)
[13:16:09] *** Joins: ehrle (82f13304@gateway/web/freenode/ip.130.241.51.4)
[13:16:13] *** Joins: inariksit_on_win (82f13303@gateway/web/freenode/ip.130.241.51.3)
[13:16:21] <inariksit_on_win> yay
[13:16:28] <inariksit_on_win> and ice cream for Toni
[13:16:50] <vin-ivar> on win?
[13:16:54] *** Joins: BobL (82f13307@gateway/web/freenode/ip.130.241.51.7)
[13:17:02] <vin-ivar> condolences :P
[13:17:12] <inariksit_on_win> http://www.lexiconista.com/gf/pidgin/
[13:17:49] *** Joins: iwk (82f13306@gateway/web/freenode/ip.130.241.51.6)
[13:24:53] <inariksit_on_win> vin-ivar: yeah, we're this time in a different classroom
[13:48:58] *** Quits: drbean_ (~drbean@124.219.82.142) (Ping timeout: 272 seconds)
[13:50:23] <inariksit_on_win> if you find it overwhelming, just concentrate on one task
[13:50:25] <vin-ivar> ah, okay
[13:50:37] <inariksit_on_win> e.g. verbs; you can ignore noun morphology and just make verbs conjugate in person and number
[13:50:45] <inariksit_on_win> (or just in person/just in number :-P)
[13:51:05] <inariksit_on_win> the morphology gets easily a bit messy, so syntax might be a cleaner option
[13:51:38] <vin-ivar> morphology <3
[13:52:00] <vin-ivar> btw, I mailed ramona the code
[13:52:19] *** Joins: drbean (~drbean@124.219.82.195)
[13:59:24] <inariksit_on_win> mkSomething : Number -> Gender -> Agr
[13:59:36] <inariksit_on_win> = \num,gen -> Ag num gen
[13:59:51] <inariksit_on_win> applying it to a concrete value:
[14:00:03] <inariksit_on_win> mkSomething Sg Fem    would result in Ag Sg Fem
[14:00:17] <Flammie> who's prakol and why's he above my entry in the matrix?-)
[14:00:27] <inariksit_on_win> prasanth kolachina
[14:00:33] <Flammie> ah
[14:00:36] <inariksit_on_win> what's the matrix?
[14:00:43] <Flammie> http://matrix.statmt.org/matrix/systems_list/1775
[14:00:52] <Flammie> competition ended an hour or two ago
[14:01:20] <inariksit_on_win> because he's using GF
[14:01:23] <inariksit_on_win> (ok not sure if really)
[14:01:45] <vin-ivar> what is this, Flammie?
[14:02:05] <inariksit_on_win> mkSomething : Number -> Gender -> Str -> Something
[14:02:08] <Flammie> it's the annual shared task in statistical machine translation
[14:02:19] <inariksit_on_win> let's say Something = {s : Agr => Str}
[14:02:23] <inariksit_on_win> so then you'd go
[14:02:40] <inariksit_on_win> mkSomething Sg Fem "Inari"
[14:02:56] <inariksit_on_win> actually whoops
[14:03:10] <inariksit_on_win> that won't make sense, let'äs say Something = {s : Str ; a : Agr}
[14:03:16] <inariksit_on_win> so then mkSomething Sg Fem Inari
[14:03:26] <inariksit_on_win> becomes {s = "Inari" ; a = Ag Sg Fem}
[14:03:50] <inariksit_on_win> now in Something, agreement is an inherent feature
[14:04:04] *** Joins: daherb (~daherb@ppp-93-104-162-85.dynamic.mnet-online.de)
[14:12:32] <inariksit_on_win> NP : {s : Case => Str}
[14:13:01] <inariksit_on_win> NP = {s : Case => Str ; a : Agr}
[14:14:26] <inariksit_on_win> mkNP : Number -> Person -> Gender -> Str -> Str -> NP
[14:14:39] <inariksit_on_win> e.g. mkNP Sg P1 Fem "I" "me"
[14:14:41] <inariksit_on_win> would build
[14:15:22] <inariksit_on_win> {s = table {Nom => "I" ; Acc => "me"} ; a = Ag Sg P1 Fem}
[14:21:21] <inariksit_on_win>    
[14:21:22] <inariksit_on_win> so
[14:21:34] <inariksit_on_win> that {s = table ... } is what your function will build
[14:21:39] <inariksit_on_win> and in the definition, you start like this:
[14:21:41] <inariksit_on_win>   
[14:22:15] <inariksit_on_win> mkNP : Number -> Person -> Gender -> Str -> Str -> NP    =    \num,per,gend,nom,acc ->
[14:22:43] <vin-ivar> oh that reminds me, in a lot of constructions, the names of the lambda variables are example words?
[14:22:46] <inariksit_on_win> { s = table {Nom => nom ; Acc => acc} ;
[14:23:00] <inariksit_on_win>   a = Ag num per gend } ;
[14:23:17] <inariksit_on_win> vin-ivar: yes
[14:23:21] <inariksit_on_win> that's just a convention
[14:23:27] <inariksit_on_win> it's easier to see what's supposed to happen
[14:23:37] <inariksit_on_win> instead of using some random letters :-P
[14:23:41] <vin-ivar> yeah
[14:23:43] <vin-ivar> I liked it
[14:23:46] <inariksit_on_win> ^^
[14:37:58] <inariksit_on_win> Ag Sg P1 _ => "foo"
[14:38:02] <inariksit_on_win> Ag Sg P2 _ => "foo"
[14:38:06] <inariksit_on_win> Ag Sg P3 _ => "bar"
[14:38:12] <inariksit_on_win> Ag Pl P1 _ => "baz"
[14:38:20] <inariksit_on_win> so if you need to ignore gender
[14:44:01] <iwk> does anyone have a problem with me saving the irc log before I go? I want to keep inari's hints
[14:47:45] <inariksit_on_win> let hodi = Predef.drop 2 hodite
[14:47:50] <inariksit_on_win> iwk: haha, I can share it!
[14:47:58] <inariksit_on_win> argh oops sorry
[14:48:12] <inariksit_on_win> I interpreted it wrong :-D anyway, the logs of this channel are already posted on internet
[14:48:24] <inariksit_on_win>   
[14:48:26] <inariksit_on_win> let hodi = Predef.drop 2 hodite
[14:48:29] <iwk> ok
[14:48:34] <inariksit_on_win> Ag _ foo bar => hodi + "m"
[14:48:44] <inariksit_on_win> Ag _ asdf blörgh => hodi + "asdf"
[14:48:48] <iwk> not a regular irc user so I was unsure about proper etiquette
[14:49:56] <inariksit_on_win> hmm we used to have it in the topic, that the logs are published
[14:50:17] <inariksit_on_win> let blah = ... in {statement}
[14:50:33] <inariksit_on_win> iwk: http://www.grammaticalframework.org/irc/
[14:50:46] <iwk> cool, thanks
[14:51:24] <inariksit_on_win> here are logs from your first exercise session ^-^ http://www.grammaticalframework.org/irc/freenode_%23gf_20150414.log
[14:52:32] <iwk> nice, that means I don't have to do tedious copy-pasting :P
[14:52:41] <inariksit_on_win> yeah
[14:52:50] <inariksit_on_win> jstar has a script that updates them every night
[14:53:03] <iwk> ok, good to know
[14:53:13] <inariksit_on_win> I should leave soon
[14:53:20] <inariksit_on_win> gonna go buy the ice cream first :-D
[14:53:57] <iwk> I need to go too, bye
[14:54:06] *** Quits: iwk (82f13306@gateway/web/freenode/ip.130.241.51.6) (Quit: Page closed)
[15:00:31] *** Quits: vin-ivar (~vinit@122.170.51.152) (Quit: WeeChat 1.1.1)
[15:07:04] *** Quits: inariksit_on_win (82f13303@gateway/web/freenode/ip.130.241.51.3) (Ping timeout: 246 seconds)
[15:15:07] *** Quits: BobL (82f13307@gateway/web/freenode/ip.130.241.51.7) (Ping timeout: 246 seconds)
[15:17:08] *** Quits: Toni_ (82f13314@gateway/web/freenode/ip.130.241.51.20) (Quit: Page closed)
[15:33:00] *** Quits: ehrle (82f13304@gateway/web/freenode/ip.130.241.51.4) (Quit: Page closed)
[16:03:48] *** Joins: vin-ivar (~vinit@182.70.13.66)
[16:28:31] *** Quits: vin-ivar (~vinit@182.70.13.66) (Read error: No route to host)
[16:52:16] *** Parts: daherb (~daherb@ppp-93-104-162-85.dynamic.mnet-online.de) ()
[16:58:35] *** Joins: vin-ivar (~vinit@122.169.11.66)
[17:08:22] *** Quits: vin-ivar (~vinit@122.169.11.66) (Quit: WeeChat 1.1.1)
[17:10:31] *** Joins: vin-ivar (~vinit@122.169.11.66)
[17:14:56] *** Joins: vinit-ivar (~vinit@122.179.140.7)
[17:15:08] *** Quits: vin-ivar (~vinit@122.169.11.66) (Ping timeout: 244 seconds)
[17:32:15] *** vinit-ivar is now known as vin-ivar
[17:52:20] *** Joins: vinit-ivar (~vinit@122.169.5.238)
[17:54:24] *** Quits: vin-ivar (~vinit@122.179.140.7) (Ping timeout: 245 seconds)
[17:54:27] *** Joins: vinit-away (~vinit@122.169.3.16)
[17:56:53] *** Quits: vinit-ivar (~vinit@122.169.5.238) (Ping timeout: 256 seconds)
[18:00:19] *** Joins: vin-ivar (~vinit@122.169.4.223)
[18:02:09] *** Quits: vinit-away (~vinit@122.169.3.16) (Ping timeout: 244 seconds)
[18:04:04] *** Joins: vinit-ivar (~vinit@122.169.33.110)
[18:06:25] *** Quits: vin-ivar (~vinit@122.169.4.223) (Ping timeout: 250 seconds)
[18:10:39] *** Quits: drbean (~drbean@124.219.82.195) (Ping timeout: 245 seconds)
[18:13:42] *** Joins: drbean (~drbean@124.219.83.165)
[18:14:07] *** Joins: vinit-away (~vinit@122.179.145.99)
[18:14:13] *** Quits: vinit-ivar (~vinit@122.169.33.110) (Ping timeout: 248 seconds)
[18:22:04] *** Joins: vin-ivar (~vinit@122.179.141.38)
[18:24:35] *** Quits: vinit-away (~vinit@122.179.145.99) (Ping timeout: 264 seconds)
[18:28:18] *** Quits: vin-ivar (~vinit@122.179.141.38) (Read error: Connection reset by peer)
[18:31:31] *** Joins: vin-ivar (~vinit@122.179.143.119)
[18:46:01] *** Joins: vinit-ivar (~vinit@122.169.34.38)
[18:49:01] *** Quits: vin-ivar (~vinit@122.179.143.119) (Ping timeout: 256 seconds)
[18:57:10] *** Joins: vinit-away (~vinit@122.169.11.204)
[18:58:40] *** Quits: vinit-ivar (~vinit@122.169.34.38) (Ping timeout: 272 seconds)
[18:59:56] *** Joins: vin-ivar (~vinit@122.169.6.178)
[19:02:13] *** Quits: vinit-away (~vinit@122.169.11.204) (Ping timeout: 248 seconds)
[19:33:27] *** Joins: vinit-ivar (~vinit@122.169.11.66)
[19:35:41] *** Quits: vin-ivar (~vinit@122.169.6.178) (Ping timeout: 250 seconds)
[19:57:03] *** Quits: jmvanel (~jmvanel@her75-1-78-193-21-40.fbxo.proxad.net) (Quit: Quitte)
[20:08:10] *** vinit-ivar is now known as vin-ivar
[20:34:03] <vin-ivar> jstar: you maintain the FST package?
[22:22:05] *** Quits: vin-ivar (~vinit@122.169.11.66) (Ping timeout: 250 seconds)
[22:22:41] *** Joins: vinit-ivar (~vinit@122.169.7.14)
[22:25:31] *** Joins: vinit-away (~vinit@122.169.15.117)
[22:27:45] *** Quits: vinit-ivar (~vinit@122.169.7.14) (Ping timeout: 256 seconds)
[22:28:02] *** Joins: vin-ivar (~vinit@122.169.4.115)
[22:30:13] *** Quits: vinit-away (~vinit@122.169.15.117) (Ping timeout: 248 seconds)
[22:58:09] <vin-ivar> inariksit, jstar: GF compiles fine on GHC 7.10.1, but I had to install FST from your (jstar's) github - the one on hackage needs updating, so could you take a look at that, or should i drop something on the mailing list?
[22:58:32] <vin-ivar> such a relief going back to arch