thaip 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: '053683a92e0c8d3aef39eaa0acdbd4250201541612e3e80121066accda05abd8'
+  data.tar.gz: 34e9692dbe01b7a60d408dc649814c22d0cc31a5bc8ab56ca58af2ac1a32aa04
+SHA512:
+  metadata.gz: 2ec7085583013ef659ca2aa571323de75e655774315ec0fbe41d60c4eab0d1c032bdb60293144b22da8d325c651bcfbfbeb89a0d632eef92f35383335375b46f
+  data.tar.gz: cb3a585213967a2bfbbeebee959d1d0c117345a8e7d6dc90c8f2564f28efa1613bf716fabb58975a6892bfdbdc2bca000987af83b60ccbfa8a70af1e8c9d6ccd

data/lib/thaip.rb

@@ -0,0 +1,5 @@
+module Thaip
+end
+
+require 'thaip/make_struct'
+require 'thaip/type_def'

data/lib/thaip/make_struct.rb

@@ -0,0 +1,40 @@
+class MakeStruct
+  class CustomStruct
+    def initialize(**argkw)
+      unknown_keys = argkw.keys - __acceptable_keys
+      raise "Unknown ctor keys: #{unknown_keys}" unless unknown_keys.empty?
+
+      __acceptable_keys.each do |key|
+        instance_variable_set("@#{key}", argkw.fetch(key, __default_value(key)))
+      end
+    end
+
+    private
+
+    def __ctor_args
+      self
+        .class
+        .ancestors
+        .find { |klass| klass.instance_variables.include?(:@__ctor_args) }
+        .instance_variable_get(:@__ctor_args)
+    end
+
+    def __acceptable_keys
+      keys = __ctor_args[0] + __ctor_args[1].keys
+    end
+
+    def __default_value(key)
+      __ctor_args[1][key]
+    end
+  end
+
+  class << self
+    def [](*args, **argkw)
+      x = argkw
+      Class.new(CustomStruct) do
+        @__ctor_args = [args, argkw]
+        (args + argkw.keys).each(&method(:attr_accessor))
+      end
+    end    
+  end
+end

data/lib/thaip/type_def.rb

@@ -0,0 +1,133 @@
+class TypeDef
+  class DataContainer
+    def initialize(name)
+      @name = name
+      @members = []
+
+      Object.const_set(name, self)
+    end
+
+    def to_s
+      "<#{@name}>"
+    end
+
+    def inspect
+      to_s
+    end
+
+    def with(name, *args, **argkw)
+      DataConstructor.new(name, self, *args, **argkw)
+      self
+    end
+  end
+
+  class DataConstructor
+    attr_accessor :vals
+
+    def initialize(name, data_container, *args, **argkw)
+      @name = name
+      @data_container = data_container
+      @vals = {}
+      @args = args
+      @argkw = argkw
+
+      Object.const_set(name, self)
+    end
+
+    def to_s
+      "<#{@name}#{@vals.map { |k, v| " #{k}:#{v}"}.join}>"
+    end
+    alias_method :inspect, :to_s
+
+    def type
+      @data_container
+    end
+
+    def is_a?(a_type)
+      if a_type.respond_to?(:__class) && a_type.__class == DataConstructor
+        return self.class == a_type.class
+      end
+
+      a_type === type
+    end
+
+    def ===(other)
+      return is_a?(other) if other.is_a?(DataContainer)
+      
+      is_a?(other.type)
+    end
+
+    def new(*args, **kwargs)
+      self_clone = clone
+      self_clone.vals = {}
+
+      @args.zip(args).each_with_index do |(type, arg), index|
+        raise "Expected type <#{type}> for value <#{arg}>" unless arg.nil? || arg.is_a?(type)
+
+        key = "#{type}-#{index}"
+        self_clone.vals[key] = arg
+      end
+
+      @argkw.each do |k, type|
+        raise "Expected type <#{type}> for value <#{kwargs[k]}>" unless kwargs[k].nil? || kwargs[k].is_a?(type)
+
+        self_clone.vals[k] = kwargs[k]
+      end
+
+      self_clone
+    end
+
+    def value
+      @vals.values[0]
+    end
+
+    def defined?(name)
+      return true if @vals.key?(name)
+      super(name)
+    end
+
+    def method_missing(name, *args)
+      if name.to_s.end_with?('=')
+        key = name.to_s[0..-2].to_sym
+        return super(name, *args) unless @vals.key?(key)
+        
+        type = @argkw[key]
+        value = args[0]
+        raise "Expected type <#{type}> for value <#{value}>" unless value.nil? || value.is_a?(type)
+
+        @vals[key] = value
+      else
+        return super(name, *args) unless @vals.key?(name)
+  
+        @vals[name]
+      end
+    end
+
+    def [](index)
+      raise "Index out of bounds" if index >= @vals.size
+      @vals.values[index]
+    end
+
+    def []=(index, val)
+      raise "Index out of bounds" if index >= @vals.size
+
+      # TODO add typecheck
+      @vals[@vals.keys[index]] = val
+    end
+
+    alias_method :__class, :class
+    def class
+      @name
+    end
+  end
+
+  def self.data(name)
+    DataContainer.new(name)
+  end
+
+  class << self
+    def [](name)
+      DataContainer.new(name)
+    end
+  end
+end

metadata

@@ -0,0 +1,59 @@
+--- !ruby/object:Gem::Specification
+name: thaip
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- itarato
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2021-02-06 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: 
+email: it.arato@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/thaip.rb
+- lib/thaip/make_struct.rb
+- lib/thaip/type_def.rb
+homepage: https://github.com/itarato/prototyper
+licenses:
+- GPL-3.0-or-later
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 2.6.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.1.2
+signing_key: 
+specification_version: 4
+summary: Thaip
+test_files: []