Skip to content

Instantly share code, notes, and snippets.

diff --git src/runtime/compare.c src/runtime/compare.c
index 7137e64..4f2503f 100644
--- src/runtime/compare.c
+++ src/runtime/compare.c
@@ -5,14 +5,153 @@
#include "str.h"
/* Structural comparison on trees.
- May loop on cyclic structures. */
+ 循環構造は検出される
@koropicot
koropicot / partialApply2.cs
Created September 8, 2013 08:52
C#で部分適用を無理やり実現してみた改訂版 NYSL Version 0.9982
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
namespace PartialApply
{
class Program
{
static void Main(string[] args)
@koropicot
koropicot / partialApply.cs
Last active December 22, 2015 13:59
C#で部分適用を無理やり実現してみた。 NYSL Version 0.9982 追記 これScalaとかの動作と違ったので書き直す
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
namespace PartialApply
{
class Program
{
static void Main(string[] args)
@koropicot
koropicot / initial.scala
Last active December 21, 2015 06:39
FunctorからF-initial algebraを書ける何かを書こうとしたけれどつらみがたまった。 NYSL Version 0.9982
trait Functor[F[_]]
{
def lift[A,B](f: A=>B): F[A]=>F[B]
}
//定数関手と恒等関手
class Const[A,+B](val value: A)
class Ident[A](val value: A)
object Functor{
@koropicot
koropicot / SimpleBF.cs
Created April 5, 2013 10:04
単純なBrainf*ckインタプリタ
using System;
using System.Collections.Generic;
using System.Linq;
using System.IO;
namespace SimpleBF
{
class Program
{
static void Main(string[] args)
@koropicot
koropicot / bf.cs
Created April 5, 2013 08:08
謎インタプリタ
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.IO;
namespace Brainfuck_i
{
struct Command