Pinned Loading
-
simple C# Option(Maybe) MonadLike im...
simple C# Option(Maybe) MonadLike implementation 1public static class Option
2{
3public static Option<T> Create<T>(T? value) => value != null ? new Some<T>(value) : Option<T>.None;
4public static None<dynamic> None { get; } = new None<dynamic>();
5}
-
引用式を評価して、式の途中で null になった場合に全体として nul...
引用式を評価して、式の途中で null になった場合に全体として null を返す関数を定義したい人生だった。C# でいうnull条件演算子( ?. ) のようなものを作りたいので少しずつ実装を進める。つもり。 1namespace QuotationUtility
23open System.Reflection
4open Microsoft.FSharp.Linq.RuntimeHelpers
5open Microsoft.FSharp.Quotations
-
es3-polyfills.js
es3-polyfills.js PublicES5 or above polyfills for ES3 (It's not compatible with ECMA-262 strictly)
JavaScript 2
-
Lambda expression implementation wit...
Lambda expression implementation with wrapping Checked exception for Java 1public class ExceptionWrapper {
2@SuppressWarnings("unchecked")
3public static <T, E extends Exception> T exec(ThrowableSupplier<T, E> func, Function<E, T> orElse) {
4try {
5return func.getThrowable();
-
67 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
htsign/inugoya-discord-bot,
htsign/my-vim-settings,
htsign/express-cyclic
and 4 other
repositories
Loading
Contribution activity
March 2025
htsign has no activity
yet for this period.