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

* 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

* fix release 2

* fix release 3

* fix release 4

Author: Stepami

.github/workflows/develop.yml

@@ -48,7 +48,7 @@ jobs:
       - name: Restore dependencies
         run: dotnet restore
       - name: Build
-        run: dotnet build /p:Version=${{ steps.version_step.outputs.fullSemVer }} --no-restore -c Debug -v n
+        run: dotnet build -p:Version=${{ steps.version_step.outputs.fullSemVer }} --no-restore -c Debug -v n
       - name: Unit Tests
         run: dotnet test -c Debug --no-build -v n --filter-trait Category=Unit
       - name: Integration Tests

.github/workflows/release.yml

@@ -47,6 +47,7 @@ jobs:
     needs: create-release
     outputs:
       determined_version: ${{ needs.create-release.outputs.determined_version }}
+      publish_version: ${{ needs.create-release.outputs.publish_version }}
     strategy:
       matrix:
         config:
@@ -87,7 +88,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: upload-release-assets
     outputs:
-      determined_version: ${{ needs.upload-release-assets.outputs.determined_version }}
+      publish_version: ${{ needs.upload-release-assets.outputs.publish_version }}
     steps:
       - name: Setup .NET
         uses: actions/setup-dotnet@v5
@@ -110,7 +111,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 +121,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 }} \
-          /p:PublishAot=false /p:PublishSingleFile=false
+        run: dotnet build ./src/HydraScript/HydraScript.csproj -c Release -v n `
+          -p:Version=${{ needs.publish-release.outputs.publish_version }} `
+          -p:PublishAot=false -p:PublishSingleFile=false
       - name: Publish
-        run: dotnet nuget push ./src/HydraScript/bin/Release/*.nupkg \
-          --api-key ${{ secrets.NUGET_API_KEY }} \
-          --source https://api.nuget.org/v3/index.json
+        run: dotnet nuget push (ls "./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; }
 }