First commit

Author: JeanCASPAR

CHANGELOG.md

@@ -0,0 +1,5 @@
+# Revision history for LLLang
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.

LICENSE

@@ -0,0 +1,20 @@
+Copyright (c) 2021 Jean CASPAR
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be included
+in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
+TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
+SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

LLLang.cabal

@@ -0,0 +1,41 @@
+-- Initial Lang.cabal generated by cabal init.  For further
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+name:                LLLang
+version:             0.1.0.0
+synopsis:            A linear logic based programming language.
+-- description:
+license:             MIT
+license-file:        LICENSE
+author:              Jean CASPAR
+maintainer:          55629512+JeanCASPAR@users.noreply.github.com
+-- copyright:
+-- category:
+build-type:          Simple
+extra-source-files:  CHANGELOG.md
+cabal-version:       >=2.0
+
+common shared:
+  default-language: Haskell2010
+  build-depends:
+    base ^>=4.12,
+    megaparsec ^>=8.0,
+    containers ^>=0.6,
+
+library
+  exposed-modules:     Main, Parser
+  -- other-modules:
+  -- other-extensions:
+  -- build-depends:
+  import: shared
+  hs-source-dirs:      src
+  default-language:    Haskell2010
+
+executable LLLang
+  main-is:             Main.hs
+  -- other-modules:
+  -- other-extensions:
+  -- build-depends:
+  import: shared
+  hs-source-dirs:      src
+  default-language:    Haskell2010

Setup.hs

@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain

flake.nix

@@ -0,0 +1,37 @@
+{
+  description = "";
+
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs";
+    flake-utils.url = "github:numtide/flake-utils";
+  };
+
+  outputs = { self, nixpkgs, flake-utils }:
+    flake-utils.lib.eachDefaultSystem (system:
+      let
+        pkgs = nixpkgs.legacyPackages.${system};
+
+        haskellPackages = pkgs.haskellPackages;
+
+        jailbreakUnbreak = pkg:
+          pkgs.haskell.lib.doJailbreak (pkg.overrideAttrs (_: { meta = { }; }));
+
+        packageName = "LLLang";
+      in {
+        packages.${packageName} =
+          haskellPackages.callCabal2nix packageName self rec {
+            # Dependency overrides go here
+          };
+
+        defaultPackage = self.packages.${system}.${packageName};
+
+        devShell = pkgs.mkShell {
+          buildInputs = with haskellPackages; [
+            haskell-language-server
+            ghcid
+            cabal-install
+          ];
+          inputsFrom = builtins.attrValues self.packages.${system};
+        };
+      });
+}

src/Main.hs

@@ -0,0 +1,4 @@
+module Main where
+
+main :: IO ()
+main = putStrLn "Hello, Haskell!"

src/Parser.hs

@@ -0,0 +1,45 @@
+module Parser (Parser) where
+
+import Data.Text (Text)
+import Data.Map
+import Text.Megaparsec
+import Text.Megaparsec.Char
+import Control.Applicative
+import Control.Applicative.Combinators
+
+type Parser = Parsec String Text
+
+type Ident = String
+
+data Type =
+    | Named Ident
+    | With Type Type
+    | Plus Type Type
+    | Tensor Type Type
+    | Par Type Type
+    | WhyNot Type
+    | OfCourse Type
+    | Fun Type Type
+    | Zero
+    | One
+    | Top
+    | Bottom.
+
+data TypeDecl = Decl {
+    name :: Ident,
+    attrs :: Map Ident Type
+}
+
+data FunDecl = {
+    name :: Ident,
+    -- Idents are assumed to be unique
+    params :: [(Ident, Type)]
+    ret :: Type
+    code :: AST
+}
+
+data AST = ()
+
+data Toplevel =
+    | Type TypeDecl
+    | Function FunctionDecl