mfp has quit [Read error: 110 (Connection timed out)]
seafood_ has quit []
TychoBrahe has quit [Read error: 110 (Connection timed out)]
TychoBrahe has joined #ocaml
OChameau has joined #ocaml
johnnowak has joined #ocaml
fremo has joined #ocaml
johnnowak has quit []
OChameau has quit ["Leaving"]
Tetsuo has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
hkBst_ has joined #ocaml
hkBst_ is now known as hkBst
<fremo>
I would like to use class methods in the module or function way...
LordMetroid has joined #ocaml
Snark has joined #ocaml
sporkmonger has quit []
Yoric[DT] has joined #ocaml
sporkmonger has joined #ocaml
sporkmonger has quit [Read error: 104 (Connection reset by peer)]
sporkmonger has joined #ocaml
m3ga has joined #ocaml
gim has quit [Remote closed the connection]
gim has joined #ocaml
filp has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
Yoric[DT] has quit ["Ex-Chat"]
postalchris has joined #ocaml
<struk_atwork>
fremo, best of luck
RobertFischer has joined #ocaml
RobertFischer has left #ocaml []
LordMetroid has quit ["Leaving"]
postalchris has quit [Read error: 110 (Connection timed out)]
tty56 has joined #ocaml
structured has quit [Connection timed out]
pango_ has quit [Remote closed the connection]
pango_ has joined #ocaml
optikal has quit [Read error: 110 (Connection timed out)]
bluestorm has joined #ocaml
filp has quit ["Bye"]
middayc has joined #ocaml
<middayc>
hi
<orbitz>
hi
mfp_ is now known as mfp
<flux>
an extendable type system would be fun. basically, a set of hooks to the compiler that would allow the current type checker to be implemented externally; and potentially extended or swapped
<bluestorm>
try lisp or scheme :-'
<flux>
perhaps someone could have their thesis done on the subject ;)
<bluestorm>
hm
<flux>
do the statically typed flawors have as nice macros etc?
<flux>
with feedback from the type system?
<bluestorm>
don't the numerous crazy ghc extensions provide this ?
<flux>
I don't know, I thought everything was in ghc
<bluestorm>
maybe
Linktim has joined #ocaml
LordMetroid has joined #ocaml
<mfp>
flux: do you know Qi?
<flux>
I've heard of it
postalchris has joined #ocaml
<flux>
can the macros there interface with the type system?
<mfp>
IIRC it pretty much made it possible to create your own type system
<mfp>
w/ something called the "sequent calculus" sys
<mfp>
http://www.lambdassociates.org/qiml.htm -> "The real innovation in Qi is the use of sequent notation to define types. This is an enormously powerful means of defining types which gives Qi capacities beyond ML or even more recent languages such as Haskell. The use of sequent notation derives from Gerhard Gentzen who developed the sequent calculus treatment of first-order logic. In Gerhard's system a sequent is a pair composed of two lists o
<mfp>
f logical formulae called the antecedent and the succeedent respectively. The sequent is valid if the conjunction of the elements of the antecedent logically implies the disjunction of the elements of the consequent. The concept of logical implication is defined by laying down a series of sequent rules that say how sequents may be proved."
<mfp>
oops, it didn't seem that long in the browser
Yoric[DT] has joined #ocaml
<palomer>
sequent notation is funky
<palomer>
let's you define your own typing rules
<Smerdyakov>
mfp, you can get all the benefits of "defining your own type system" with dependent types in the style Coq supports.
<Smerdyakov>
mfp, and that's a much simpler foundational mechanism than what Qi provides, I think.
<palomer>
(not to mention dependent types in haskell)
<palomer>
(and LF)
<Smerdyakov>
Haskell doesn't yet support dependent types, and LF doesn't support realistic programming.
<palomer>
GHC has dependent types
<palomer>
had'em for a while now
rby_ has quit [Read error: 104 (Connection reset by peer)]
<Smerdyakov>
Nope.
<palomer>
woops
<palomer>
I'm mistaken
<palomer>
was thinking generalized algebraic datatypes