string API extension (+semver: feature) (#224)

* fix type comparing

* update packages

* fix 2

* #203 - backend support

* #203 - central type management

* #203 - string type

* #203 - merge type services

* fix test names

* #203 - operators

* #203 - zlinq to ir

* #203 - default types

* #203 - operator types refactoring

* #203 - operator application to static analysis

* #203 - tests

* docs

* fix release

Author: Stepami

.github/workflows/release.yml

@@ -110,7 +110,7 @@ jobs:
 
   publish-nuget:
     name: Publish as dotnet tool to NuGet
-    runs-on: ubuntu-latest
+    runs-on: windows-latest
     needs: publish-release
     steps:
       - name: Checkout
@@ -120,10 +120,10 @@ jobs:
         with:
           dotnet-version: 10.0.x
       - name: Build
-        run: dotnet build ./src/HydraScript/HydraScript.csproj -c Release -v n \
-          /p:Version=${{ needs.publish-release.outputs.determined_version }} \
+        run: dotnet build ./src/HydraScript/HydraScript.csproj -c Release -v n `
+          /p:Version=${{ needs.publish-release.outputs.determined_version }} `
           /p:PublishAot=false /p:PublishSingleFile=false
       - name: Publish
-        run: dotnet nuget push ./src/HydraScript/bin/Release/*.nupkg \
-          --api-key ${{ secrets.NUGET_API_KEY }} \
+        run: dotnet nuget push ./src/HydraScript/bin/Release/*.nupkg `
+          --api-key ${{ secrets.NUGET_API_KEY }} `
           --source https://api.nuget.org/v3/index.json

Directory.Packages.props

@@ -1,18 +1,18 @@
 <Project>
   <ItemGroup>
-    <PackageVersion Include="BenchmarkDotNet" Version="0.15.6" />
+    <PackageVersion Include="BenchmarkDotNet" Version="0.15.8" />
     <PackageVersion Include="EnvironmentAbstractions" Version="5.0.0" />
     <PackageVersion Include="Microsoft.CodeAnalysis.Analyzers" Version="3.11.0">
       <PrivateAssets>all</PrivateAssets>
       <IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>
     </PackageVersion>
     <PackageVersion Include="Microsoft.CodeAnalysis.CSharp" Version="5.0.0" />
-    <PackageVersion Include="Microsoft.Extensions.DependencyInjection" Version="10.0.0" />
-    <PackageVersion Include="Microsoft.Extensions.Logging" Version="10.0.0" />
-    <PackageVersion Include="Microsoft.Extensions.Logging.Abstractions" Version="10.0.0" />
-    <PackageVersion Include="Microsoft.Extensions.Options" Version="10.0.0" />
-    <PackageVersion Include="System.CommandLine" Version="2.0.0" />
-    <PackageVersion Include="System.IO.Abstractions" Version="22.0.16" />
+    <PackageVersion Include="Microsoft.Extensions.DependencyInjection" Version="10.0.1" />
+    <PackageVersion Include="Microsoft.Extensions.Logging" Version="10.0.1" />
+    <PackageVersion Include="Microsoft.Extensions.Logging.Abstractions" Version="10.0.1" />
+    <PackageVersion Include="Microsoft.Extensions.Options" Version="10.0.1" />
+    <PackageVersion Include="System.CommandLine" Version="2.0.1" />
+    <PackageVersion Include="System.IO.Abstractions" Version="22.1.0" />
     <PackageVersion Include="Visitor.NET" Version="4.2.0" />
     <PackageVersion Include="Visitor.NET.AutoVisitableGen" Version="1.5.2" />
     <PackageVersion Include="ZLinq" Version="1.5.4" />

Readme.md

@@ -84,6 +84,20 @@ type composite = {
 }
 ```
 
+#### Strings
+
+Strings support following operations:
+- index access, returns `string`:
+```
+let str = "str"
+>>> str[1] // t
+```
+- length getter:
+```
+let str = "str"
+>>> ~str // 3
+```
+
 ### Variables
 
 For declaring mutable variables use `let`:
@@ -165,8 +179,8 @@ array = array ++ [5, 7] // concatenation
 | !                | unary           | boolean                    | boolean          |
 | -                | unary           | number                     | number           |
 | ++               | binary          | []                         | []               |
-| ::               | binary          | [] и number                | void             |
-| ~                | unary           | []                         | number           |
+| ::               | binary          | [] and number              | void             |
+| ~                | unary           | [] or string               | number           |
 
 ### Conditionals
 

src/Application/HydraScript.Application.StaticAnalysis/IDefaultValueForTypeCalculator.cs

@@ -0,0 +1,22 @@
+namespace HydraScript.Application.StaticAnalysis;
+
+public interface IHydraScriptTypesService
+{
+    public Type Number { get; }
+
+    public Type Boolean { get; }
+
+    public Type String { get; }
+
+    public Type Undefined { get; }
+
+    public Type Void { get; }
+
+    public IEnumerable<Type> GetDefaultTypes();
+
+    public bool Contains(Type type);
+
+    public object? GetDefaultValueForType(Type type);
+
+    public bool IsExplicitCastAllowed(Type from, Type to);
+}

src/Application/HydraScript.Application.StaticAnalysis/IExplicitCastValidator.cs

@@ -7,4 +7,6 @@ public interface ITypeDeclarationsResolver
     public void Store(TypeDeclaration declaration);
 
     public void Resolve();
+
+    IHydraScriptTypesService TypesService { get; }
 }