The actual implementation of map in IronScheme is as follows:
(define map
(case-lambda
[(proc list1)
(let f ((lst list1)(a '()))
(if (null? lst)
(reverse! a)
| app_version = '0.7.258' | |
| name = 'AMG-222' | |
| [Advanced] | |
| aux_telemetry_reconstruction = 0 | |
| gyro_gain = 0.0 | |
| gyro_smoothing = 0.0 | |
| rest_api_enabled = false | |
| rest_api_port = 6397 | |
| road_fallback_scale = 0.05000000074505806 |
| [Preset:AMG-124] | |
| app_version=0.7.207 | |
| gain=0.5 | |
| wheelbase_max_nm=3.9 | |
| target_rim_nm=3 | |
| min_force=0 | |
| steering_shaft_gain=1 | |
| ingame_ffb_gain=0.7479 | |
| steering_shaft_smoothing=0 | |
| understeer=0 |
| [Preset:AMG-124] | |
| app_version=0.7.207 | |
| gain=0.5 | |
| wheelbase_max_nm=3.9 | |
| target_rim_nm=3 | |
| min_force=0 | |
| steering_shaft_gain=1 | |
| ingame_ffb_gain=0.7479 | |
| steering_shaft_smoothing=0 | |
| understeer=0 |
| registerFileType((fileExt, filePath, fileData) => { | |
| if (fileExt == 'ncs') { | |
| const headerArray = fileData.getBytesAt(0, 4); | |
| const header = String.fromCharCode(...headerArray) | |
| if (header === 'USER') { | |
| return true; | |
| } | |
| } | |
| return false; | |
| }); |
| // spawn multiple instances by spamming `start /b SqlLockTest.exe` (ideally 10+) | |
| using System.Diagnostics; | |
| using Medallion.Threading.SqlServer; | |
| var cs = "Data Source=.;Integrated Security=True;Trust Server Certificate=True;initial catalog=AdventureWorks2022"; | |
| var pid = Process.GetCurrentProcess().Id; | |
| var rt = Random.Shared.Next(30, 150); | |
| CancellationTokenSource cts = new(rt * 1000); |
| CREATE OR ALTER procedure [dbo].[sp_who3] | |
| as | |
| begin | |
| declare @who table( | |
| SPID int, | |
| Status varchar(20), | |
| Login varchar(100), | |
| Hostname varchar(50), | |
| BlkBy varchar(20), | |
| DBName varchar(50), |
| drop table if exists Reference | |
| drop table if exists Source | |
| declare @json NVARCHAR(MAX) = (select Data from Deps); -- output from `DependenSee . -P -T ConsoleJson` | |
| select * | |
| into Source | |
| from | |
| ( | |
| SELECT Id, Name, Source = 'Project' from OPENJSON(JSON_QUERY(@json, '$.Projects')) WITH (Id nvarchar(255), Name nvarchar(255)) |
| drop table if exists [dbo].[Simple] | |
| go | |
| CREATE TABLE [dbo].[Simple]( | |
| [Id] [int] IDENTITY(1,1) NOT NULL, | |
| [Name] [nvarchar](50) NOT NULL, | |
| [Extra] [bit] NULL, | |
| [Data] [nvarchar](max) NULL, | |
| CONSTRAINT [PK_Simple] PRIMARY KEY CLUSTERED ( [Id] ASC ) | |
| ) |