« first day (2 days earlier)    last day (127 days later) » 

user1804599
7:09 PM
Hey @FredOverflow any idea why I need parentheses around match expressions if I want to call methods on the result?
 
user1804599
x match { … } f y is a syntax error but (x match { … }) f y isn't. :S
 
@rightføld probably operator precedence?
 
user1804599
Oh right.
 
user1804599
Perhaps.
 
user1804599
match should be a method taking a partial function!
 
7:11 PM
@rightføld I think in the very early days of Scala, match actually was a function.
 
user1804599
@FredOverflow psst move to Scala room :v
 
user1804599
Scala is nice.
 
@rightføld Why don't you invite me as you usually do?
9 messages moved from Lounge<C++>
@rightføld Wow, this room has more moved messages than original messages :)
 
user1804599
@FredOverflow :D
 
user1804599
 
7:16 PM
So what happens to Java Sucks now? Do we let it die? Does it become a Singleton question garbage can?
@rightføld I have given up on static analysis in Karel.
 
user1804599
Oops, I meant semantic analyser. :P
 
user1804599
Checks data types and scoping and such.
 
user1804599
sealed abstract class Kind {
  def :->:(to: Kind) = new :->:(this, to)
}
case object * extends Kind
case class :->:(from: Kind, to: Kind) extends Kind
 
user1804599
-> is left-associative. :(
 
@rightføld Well, that is some kind of static analysis, isn't it? It's just that it's mandatory, not optional :)
 
user1804599
7:18 PM
Yeah. :P
 
user1804599
Wait, should I not take from in Kind#:->:?
 
user1804599
Yeah, I should.
 
What is :->:? A happy face with dirt for a beard?
 
user1804599
Like -> in Haskell, when talking about kinds.
 
user1804599
case object PointerTypeConstructor extends Type {
  override def kind = * :->: *
}
 
user1804599
7:33 PM
@FredOverflow I also decided to use LLVM instead of a VM.
 
user1804599
I figured I can use Boost.Context in the runtime library for doing lightweight threads. I can use Boost.ASIO for I/O as well.
 
user1804599
I figured that while analysing if-expressions, I can analyse both branches in parallel. :)
 
@rightføld That is an awesome idea :) What keeps you from analysing all functions in parallel? It would only work if they didn't call each other, right?
 
user1804599
It works if they call each other.
 
Okay then do that :)
 
user1804599
7:46 PM
My idea is that you can only overload on the dynamic type of an object in Styx.
 
user1804599
But I cannot verify that at compile-time unless I disallow dynamic linking. :/
 
user1804599
Unless there is a C API in between, of course.
 

« first day (2 days earlier)    last day (127 days later) »