AD
Мы же все-таки про синтаксис говорим
Size: a a a
2020 March 29
AH
можно разбить
1.
2.
let a = 123 in a на два подвыражения1.
let a = 123 - является значением типа Binding<'a>2.
%% in a - является инфиксным оператором с типом Binding<'a> -> 'aА давайте поговорим о монадах
AH
Возможно тут подойдёт монада State(Env) или Reader(из нее будем читать биндинги)
AD
с точки зрения, например, только что выдуманного мной языка "жока" - является
С точки зрения Фон Неймана каждый стейтмент может тоже чем-то является. (Не читал но рассуждаю)
AD
Я скорее ссылаюсь на эту статью
https://en.m.wikipedia.org/wiki/Von_Neumann_programming_languages
Пожалуй да, Фон Нейман, тут особо не при чем
https://en.m.wikipedia.org/wiki/Von_Neumann_programming_languages
Пожалуй да, Фон Нейман, тут особо не при чем
AD
Но суть, что языками Фон Неймана называет те вещи, которые соответсвуют архитектуре Фон Неймана и в том числе, в качестве признаков имеют control/assignment statements
AD
Я скорее ссылаюсь на эту статью
https://en.m.wikipedia.org/wiki/Von_Neumann_programming_languages
Пожалуй да, Фон Нейман, тут особо не при чем
https://en.m.wikipedia.org/wiki/Von_Neumann_programming_languages
Пожалуй да, Фон Нейман, тут особо не при чем
Кстати, на удивление годная статья, а раздел Criticism - как раз на тему дискуссии
2020 March 30
IC
Вот это дискуссия, даже неудобно как то становится
IC
господа, есть у кого возможность запустить тест
xunit?IC
private const string ExistsKey = "Exist";
public static IEnumerable<object?[]> TryGetValueData()
{
yield return new object[] { "anyKey", "1", false, 0 };
yield return new object?[] { ExistsKey, null, true, 0 };
yield return new object[] { ExistsKey, "1", true, 1 };
yield return new object[] { ExistsKey, "true", true, true };
yield return new object[] { ExistsKey, "2020-10-12", true, new DateTime(2020, 10, 12) };
}
[Theory]
[MemberData(nameof(TryGetValueData))]
public void TryGetValue<T>(string key, string? value, bool expected, T expectedValue)
where
T : structIC
вот такой