Class: Klam::Compiler

Inherits:
Object
  • Object
show all
Includes:
Klam::CompilationStages::ConvertFreezesToLambdas, Klam::CompilationStages::ConvertLexicalVariables, Klam::CompilationStages::ConvertPartialApplicationsToLambdas, Klam::CompilationStages::ConvertSelfTailCallsToLoops, Klam::CompilationStages::CurryAbstractionApplications, Klam::CompilationStages::EmitRuby, Klam::CompilationStages::KlToInternalRepresentation, Klam::CompilationStages::MakeAbstractionsMonadic, Klam::CompilationStages::MakeAbstractionsVariadic, Klam::CompilationStages::SimplifyBooleanOperations, Klam::CompilationStages::StripTypeDeclarations
Defined in:
lib/klam/compiler.rb

Constant Summary

Constants included from Klam::CompilationStages::EmitRuby

Klam::CompilationStages::EmitRuby::PRIMITIVE_TEMPLATES

Constants included from Primitives::Lists

Primitives::Lists::EMPTY_LIST

Instance Method Summary collapse

Methods included from Klam::CompilationStages::EmitRuby

#emit_ruby

Methods included from Template

#render_string

Methods included from Klam::CompilationStages::ConvertSelfTailCallsToLoops

#convert_self_tail_calls_to_loops

Methods included from Klam::CompilationStages::MakeAbstractionsMonadic

#make_abstractions_monadic

Methods included from Klam::CompilationStages::CurryAbstractionApplications

#curry_abstraction_applications

Methods included from Klam::CompilationStages::ConvertPartialApplicationsToLambdas

#convert_partial_applications_to_lambdas

Methods included from Klam::CompilationStages::SimplifyBooleanOperations

#simplify_boolean_operations

Methods included from Klam::CompilationStages::ConvertFreezesToLambdas

#convert_freezes_to_lambdas

Methods included from Klam::CompilationStages::ConvertLexicalVariables

#convert_lexical_variables

Methods included from Klam::CompilationStages::MakeAbstractionsVariadic

#make_abstractions_variadic

Methods included from Klam::CompilationStages::StripTypeDeclarations

#strip_type_declarations

Methods included from Klam::CompilationStages::KlToInternalRepresentation

#kl_to_internal_representation

Methods included from Klam::Converters::List

#arrayToList, #listToArray

Methods included from Primitives::Lists

#cons, #cons?, #hd, #tl

Constructor Details

#initialize(environment) ⇒ Compiler

Returns a new instance of Compiler.



22
23
24
25
26
 
# File 'lib/klam/compiler.rb', line 22

def initialize(environment)
  @environment = environment
  @generator = Klam::VariableGenerator.new
  @ruby_interop_syntax_enabled = false
end

Instance Method Details

#compile(kl) ⇒ Object 



28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
 
# File 'lib/klam/compiler.rb', line 28

def compile(kl)
  stages = [
    :kl_to_internal_representation,
    :strip_type_declarations,
    :make_abstractions_variadic,
    :convert_lexical_variables,
    :convert_freezes_to_lambdas,
    :simplify_boolean_operations,
    :convert_partial_applications_to_lambdas,
    :curry_abstraction_applications,
    :make_abstractions_monadic,
    :convert_self_tail_calls_to_loops,
    :emit_ruby
  ]
  apply_stages(stages, kl)
end

#disable_ruby_interop_syntax! ⇒ Object 



49
50
51
 
# File 'lib/klam/compiler.rb', line 49

def disable_ruby_interop_syntax!
  @ruby_interop_syntax_enabled = false
end

#enable_ruby_interop_syntax! ⇒ Object 



45
46
47
 
# File 'lib/klam/compiler.rb', line 45

def enable_ruby_interop_syntax!
  @ruby_interop_syntax_enabled = true
end

#ruby_interop_syntax_enabled? ⇒ Boolean

Returns:

  • (Boolean) 


53
54
55
 
# File 'lib/klam/compiler.rb', line 53

def ruby_interop_syntax_enabled?
  @ruby_interop_syntax_enabled
end