Displaying 5 results from an estimated 5 matches for "theoretician".
2008 Mar 15
0
[LLVMdev] improving the ocaml binding's type safety
...t -> string
> val is_null : [> `Constant] t -> bool
> val is_declaration : [> `GlobalValue] t -> bool
> val is_global_constant : [> `GlobalVariable] t -> bool
> val is_var_arg : [> `Function] t -> bool
Ah, I get it now. type b = [ a | `B ] is idiomatic type theoretician
for b t is a subclass of a t. This seems slightly a hack, using sum
types to do exactly the opposite of what they're designed for. :)
I think you want to use the sum types for parameter typing; [>
`GlobalValue ] is not compatible with llconstant.
> Bottom up. The advantage of this...
2008 Mar 15
3
[LLVMdev] improving the ocaml binding's type safety
So just to compare, here are two different typesafe phantom type
implementations. One is bottom down, the other bottom up. This is an
example of the following functions:
string Value::getName()
bool Constant::isNull()
bool GlobalValue::isDeclaration()
bool GlobalVariable::isGlobalConstant()
bool Function::isVarArg()
Driver code:
val make_constant : unit -> llconstant t
val
2013 Oct 28
1
[LLVMdev] Interfacing llvm with a precise, relocating GC
On 10/26/13 7:40 AM, Filip Pizlo wrote:
> You can implement a copying GC (what the kids these days call
> relocating) without accurate roots.
I use "relocating" to brush over the distinction between "copying" and
"compacting" collectors. For the purposes of our discussions, the two
are interchangeable though.
> Why aren't you just using the well-known
2010 Jul 06
1
[LLVMdev] list of LLVM optimization passes
On Jul 6, 2010, at 5:04 PM, Manuel Llosa wrote:
> Dear Kenneth, I see. Do you plan sharing your framework in open source?
> For now, I will continue using ctuning tools (they support LLVM as is but not
> some specific things on JIT dynamic recompilation what is my thesis about).
> I will like to compare all tools of course and will be happy
> to share results although real not
2012 Jan 18
4
R-Help
I am trying to create a frequency distribution and I am a bit confused.
Here are the commands I have entered:
> data <- read.csv(file="40609_sortedfinal.csv",head=TRUE,sep=",")
> NumberOfActionsByStatus = data$STATUS
> NumberOfActionsByUser = data$ETS_LOGIN
> NumberOfBidOffer = data$BID_OFFER
> NumberOfActionsByUser.freq = table(NumberOfActionsByUser)
>