- この文章はmalaが書いています。個人の見解であり所属している企業とは関係ありません。
- noteには知り合いが何人かいるし、中の人と直接コンタクトも取っているし相談もされているが、(10月2日時点で)正規の仕事としては請け負っていない。
10月2日追記
- 正規の仕事として請け負う可能性もありますが、自身の主張や脆弱性情報の公開に制限が掛かるのであれば引き受けないつもりです。
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE DeriveDataTypeable #-} | |
{-# LANGUAGE DeriveAnyClass #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
import Data.SBV | |
import Data.SBV.Char | |
import Data.SBV.Tuple | |
import Data.SBV.Control | |
import Data.Generics |
{-# LANGUAGE DeriveAnyClass #-} | |
{-# LANGUAGE DeriveGeneric #-} | |
{-# LANGUAGE NamedFieldPuns #-} | |
import Data.SBV | |
import Data.SBV.Control | |
import GHC.Generics (Generic) | |
data SIntX = SIntX { isInf :: SBool | |
, xVal :: SInteger |
以下 Haskell Maxims and Arrows の翻訳
私は2001年から仕事でもプライベートでもHaskellを書いてきました。仕事で書いていたのはそのうち3年のことです。これらは私が学んだことです…
diff --git a/variables.c b/variables.c | |
index 92a5a10..b485dab 100644 | |
--- a/variables.c | |
+++ b/variables.c | |
@@ -347,39 +347,6 @@ initialize_shell_variables (env, privmode) | |
temp_var = (SHELL_VAR *)NULL; | |
- /* If exported function, define it now. Don't import functions from | |
- the environment in privileged mode. */ |