lyambda_gem 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: a2537aff07e563e3fa865fffe25a890735610c05275330a6019e3cd7bc7d19b9
+  data.tar.gz: bb560d3093386fa5db6b436e917614ebfd343a69b9cffd57f90e8ba67c10952c
+SHA512:
+  metadata.gz: a831803d75ec86b06c887b0a1fa991fc5069ef4a6f8c2171ee5146460edc37698aa37a6630497f6bfbb99e475ecccc909884c99b47cfe80bea62143612464fd4
+  data.tar.gz: 3b3d4675c504324cc068df3dc8263f5b704174b1b2fbc8d2b36b8c1a7a82c6e9b5a27ec9e8ac465c8b350bddec9743fef69c3f1daab41666602112e7a7995e4f

data/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 shatov1van, chokopiku61
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

data/README.md

@@ -0,0 +1 @@
+# LymbdaGem

data/lib/lyambda_gem/abstraction.rb

@@ -0,0 +1,55 @@
+module LyambdaGem
+  #Implementation of an abstraction (lambda function) in the lambda calculus
+  class Abstraction < Term
+    attr_reader :parameter, :body
+    
+    def initialize(parameter, body)
+      @parameter = parameter
+      @body = body
+    end
+
+    #Список свободных переменных
+    def free_variables
+      @body.free_variables - Set.new([@parameter])
+    end
+
+    #Получение новой переменной относительно терма (для правила 7)
+    def fresh_variable(term)
+      cnt = 1
+      fv = term.free_variables
+      while fv.any?{|variable| variable.name == "z#{cnt}"}
+        cnt += 1
+      end
+
+      return Variable.new("z#{cnt}")     
+    end
+
+    #Подстановка
+    def substitute(term, variable)
+      #puts "p:#{@parameter} | body:#{@body} | t:#{term} | v:#{variable}"
+      return self if variable == @parameter
+
+      return self if !@body.free_variables.include?(variable)
+      
+      return Abstraction.new(@parameter, @body.substitute(term, variable)) if !term.free_variables.include?(@parameter)
+
+      new_variable = fresh_variable((Application.new(term, @body)))
+      return Abstraction.new(new_variable, @body.substitute(new_variable, @parameter).substitute(term, variable))
+    end
+
+    def reduceable?
+      @body.reduceable?
+    end
+
+    def reduce(strategy: :normal_order)
+      #puts "  abs:#{self.to_s} | r-able: #{reduceable?}"
+      return self unless reduceable?
+
+      return Abstraction.new(@parameter, @body.reduce)
+    end
+
+    def to_s
+      "(λ#{parameter}.#{body})"
+    end
+  end
+end

data/lib/lyambda_gem/application.rb

@@ -0,0 +1,39 @@
+module LyambdaGem
+  #Implementation of an application (function application) in the lambda calculus
+  class Application < Term
+    attr_reader :left, :right
+
+    def initialize(left, right)
+      @left = left
+      @right = right
+    end
+
+    #Список свободных переменных
+    def free_variables 
+      return @left.free_variables + @right.free_variables
+    end
+
+    def substitute(term, variable)
+      return Application.new(@left.substitute(term, variable), @right.substitute(term, variable))
+    end
+
+    def reduceable?
+      return @left.is_a?(Abstraction) || @left.reduceable? || @right.reduceable?
+    end
+
+    def reduce(strategy: :normal_order)
+      #puts "  app:#{self.to_s} | r-able: #{reduceable?}"
+      return self unless reduceable?
+      #puts @left.body.substitute(@right, @left.parameter)
+      return @left.body.substitute(@right, @left.parameter) if @left.is_a?(Abstraction)
+
+      return Application.new(@left.reduce, @right) if @left.reduceable? 
+
+      return Application.new(@left, @right.reduce) if @right.reduceable? 
+    end
+
+    def to_s
+      "(#{@left.to_s} #{@right.to_s})"
+    end
+  end
+end

data/lib/lyambda_gem/parser.rb

@@ -0,0 +1,67 @@
+# lib/lyambda_gem/parser.rb
+module LyambdaGem
+  class ParseError < StandardError; end
+
+  class Parser
+    def initialize(input)
+      @tokens = input.gsub('λ', '\\')  # унифицируем
+                     .scan(/[()\\\.]|[^\s()\\\.]+/)
+      @pos = 0
+    end
+
+    def parse
+      term = parse_expression
+      raise ParseError, "Unexpected tokens after end: #{@tokens[@pos..].join(' ')}" unless @pos == @tokens.size
+      term
+      rescue ParseError => e
+      raise e
+      rescue => e
+      raise ParseError, "Invalid syntax: #{e.message}"
+    end
+
+    private
+
+    def current
+      @tokens[@pos]
+    end
+
+    def advance
+      @pos += 1
+    end
+
+    def parse_expression
+      left = parse_atom
+      while @pos < @tokens.size && current != ')' && current != '.'
+        # Применение: следующая атомарная – аргумент
+        right = parse_atom
+        left = Application.new(left, right)
+      end
+      left
+    end
+
+    def parse_atom
+      if current == '('
+        advance
+        expr = parse_expression
+        raise ParseError, "Missing closing ')'" unless current == ')'
+        advance
+        expr
+      elsif current == '\\'
+        advance
+        param_name = current
+        raise ParseError, "Expected variable after '\\'" unless param_name && param_name !~ /[()\\\.]/
+        advance
+        raise ParseError, "Expected '.' after variable in abstraction" unless current == '.'
+        advance
+        body = parse_expression
+        Abstraction.new(Variable.new(param_name), body)
+      else
+        # переменная
+        name = current
+        raise ParseError, "Unexpected token '#{name}'" if name.nil? || name.match?(/[()\\\.]/)
+        advance
+        Variable.new(name)
+      end
+    end
+  end
+end

data/lib/lyambda_gem/reducer.rb

@@ -0,0 +1,15 @@
+module LyambdaGem
+  module Reducer
+    def self.to_normal(term, strategy: :normal_order, verbose: false)
+      step = 0
+      puts "##{step} #{term}" if verbose
+      while term.reduceable?
+        term = term.reduce(strategy: strategy)
+
+        step += 1
+        puts "##{step} #{term}" if verbose
+      end
+      term
+    end
+  end
+end

data/lib/lyambda_gem/term.rb

@@ -0,0 +1,20 @@
+module LyambdaGem
+  #Base abstract class for all terms in the lambda calculus (variables, abstractions, applications)
+  class Term 
+    def free_variables
+      raise NotImplementedError, "Subclasses must implement the free_variables method"
+    end
+    
+    def substitute(term, variable)
+      raise NotImplementedError, "Subclasses must implement the substitute method"
+    end
+    
+    def reduceable?
+      raise NotImplementedError, "Subclasses must implement the reduceable? method"
+    end
+    
+    def reduce(strategy: :normal_order)
+      raise NotImplementedError, "Subclasses must implement the reduce method"
+    end
+  end
+end

data/lib/lyambda_gem/variable.rb

@@ -0,0 +1,40 @@
+module LyambdaGem
+  #Implementation of a variable in the lambda calculus
+  class Variable < Term
+    attr_reader :name
+    
+    def initialize(name)
+      @name = name
+    end
+    
+    #Список свободных переменных
+    def free_variables
+      return Set.new([self])
+    end
+    
+    #Подстановка
+    def substitute(term, variable)
+      self == variable ? term : self
+    end
+    
+    def reduceable?
+      false
+    end
+    
+    def reduce(strategy: :normal_order)
+      self
+    end
+    
+    def to_s
+      name.to_s
+    end
+    
+    def inspect
+      @name.to_s
+    end
+
+    def ==(other)
+      other.is_a?(Variable) && @name == other.name
+    end
+  end
+end

data/lib/lyambda_gem/version.rb

@@ -0,0 +1,5 @@
+# frozen_string_literal: true
+
+module LyambdaGem
+  VERSION = "0.1.0"
+end

data/lib/lyambda_gem.rb

@@ -0,0 +1,29 @@
+# frozen_string_literal: true
+
+require_relative "lyambda_gem/version"
+require_relative "lyambda_gem/version"
+require_relative "lyambda_gem/term"
+require_relative "lyambda_gem/variable"
+require_relative "lyambda_gem/abstraction"
+require_relative "lyambda_gem/application"
+require_relative "lyambda_gem/reducer"
+
+module LyambdaGem
+  class Error < StandardError; end
+
+  extend self 
+
+  def var(name)
+    Variable.new(name)
+  end
+  
+  def abs(param, body)
+    Abstraction.new(param, body)
+  end
+  
+  def app(left, right)
+    Application.new(left, right)
+  end
+
+  module_function :var, :abs, :app
+end

metadata

@@ -0,0 +1,54 @@
+--- !ruby/object:Gem::Specification
+name: lyambda_gem
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- shatov1van
+- chokopiku61
+bindir: bin
+cert_chain: []
+date: 1980-01-02 00:00:00.000000000 Z
+dependencies: []
+description: A Ruby gem for parsing, reducing, and manipulating lambda calculus expressions
+email:
+- ivanshatov13@gmail.com
+- tim.23tim23.23@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- LICENSE
+- README.md
+- lib/lyambda_gem.rb
+- lib/lyambda_gem/abstraction.rb
+- lib/lyambda_gem/application.rb
+- lib/lyambda_gem/parser.rb
+- lib/lyambda_gem/reducer.rb
+- lib/lyambda_gem/term.rb
+- lib/lyambda_gem/variable.rb
+- lib/lyambda_gem/version.rb
+homepage: https://github.com/shatov1van/LymbdaGem
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/shatov1van/LymbdaGem
+  source_code_uri: https://github.com/shatov1van/LymbdaGem
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.1.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 4.0.6
+specification_version: 4
+summary: Lambda calculus interpreter and reducer
+test_files: []