Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Sep 19 2020 01:40

    oeed on develop

    Changed to MIT license (compare)

  • Feb 26 2020 21:37
    jmc529 starred oeed/Silica
  • Feb 23 2020 02:10
    xvxx starred oeed/Silica
  • Nov 05 2019 07:48
    jsgrant starred oeed/Silica
  • Oct 14 2019 01:32
    notpatrickadams forked
    notpatrickadams/Silica
  • Jun 28 2019 18:20
    adamc295 starred oeed/Silica
  • Mar 03 2019 01:37
    ardera commented #26
  • Feb 16 2019 02:37

    oeed on develop

    Update README.md (compare)

  • Feb 16 2019 02:34
    oeed closed #25
  • Feb 16 2019 02:34
    oeed commented #25
  • Feb 15 2019 22:33
    Lemmmy starred oeed/Silica
  • Feb 15 2019 15:29
    SquidDev commented #26
  • Feb 15 2019 14:55
    exerro closed #26
  • Feb 15 2019 14:55
    exerro commented #26
  • Feb 15 2019 14:36
    exerro commented #25
  • Feb 15 2019 14:26
    jojomoore2007 commented #26
  • Feb 15 2019 14:15
    jojomoore2007 commented #26
  • Feb 15 2019 14:14
    jojomoore2007 opened #26
  • Feb 15 2019 14:01
    jojomoore2007 opened #25
  • Feb 07 2019 23:03
    oeed closed #24
Jonathan Coates
@SquidDev
hydraz has a a LC interpreter with type functions, and 3-queens with FD IIRC.
hydraz
@plt-hokusai
https://github.com/tmpim/amulet/blob/master/tests/types/class/type-sk.ml
^ Type-level SK combinator calculus with functional dependencies
https://github.com/tmpim/amulet/blob/master/tests/types/class/n-queens.ml 4 queens with fundeps
3 queens has no solutions and 4 queens times out :p
lambda calculus with type functions https://hydraz.semi.works/txt/type-lambda.ml.html
Drew
@CoderPuppy
Nice
Jonathan Coates
@SquidDev
Hrmr, I really want to replace the type function syntax with something closer to normal function.
ducks
hydraz
@plt-hokusai
feel free but it does need to have vectors of arguments
Jonathan Coates
@SquidDev
That's very true, yeah.
Great, now spreading our discussion across three chat platforms ;)
hydraz
@plt-hokusai
three?
Drew
@CoderPuppy
Could you explain the "vectors of arguments" (and how that differs from normal function)?
hydraz
@plt-hokusai
function only takes a single argument at a time, type functions need to be able to inspect n together for the non-linear patterns to work
curl amulet.ahti.space/install.sh | shbtw
Jonathan Coates
@SquidDev
I'm not entirely opposed to having something like LambdaCase for the standard fun keyword, though it's not entirely clear how it'd work yet.
Drew
@CoderPuppy
I think I'll write a Guix package for it
Jonathan Coates
@SquidDev
Wait, people use Guix? :p
hydraz
@plt-hokusai
the release tarball the script fetches isn't versioned but https://amulet.ahti.space/x86_64/ has the arch packages p. much forever
since they're just tarballs too, i'm sure you can wrangle that into a derivation
they're signed with my pgp key
Drew
@CoderPuppy
I really want to build the entire OS with it, but they don't provide specifications or substitutes for nonfree packages
hydraz
@plt-hokusai
0E843EFDBA828772, you can get it from keys.openpgp.org
Jonathan Coates
@SquidDev
Does Guix have the same kind of support for Haskell that Nix does?
hydraz
@plt-hokusai
... if you want to use a prebuilt package, that is; building from source will work too but it'll probably be slow lol
the binary distribution and arch packages are all statically linked
Drew
@CoderPuppy
They have specifications for a useful subset of Hackage
and I guess someway to combine packages so lookup works
hydraz
@plt-hokusai
if you're talking about amulet, you can just set AMC_LIBRARY_PATH to a colon-separated list of paths
Jonathan Coates
@SquidDev
I love that Guix has asdf support baked in as a build system.
Wow, that's actually a massive support list. Kudos.
Drew
@CoderPuppy
Is there a way to run the prebuilt (arch package) portably? I.e. not relying on system paths
oh, that's just a script
hydraz
@plt-hokusai
the library path also contains $(dirname $0)/lib and $(dirname $0)/../lib
so as long as the amc binary itself (/usr/lib/amuletml/amc) is in the same directory as the libraries, or shares a common parent directory with the libraries, you'll be fine
Drew
@CoderPuppy
yeah, the problem was that I was trying to run /usr/bin/amc instead of /usr/lib/amuletml/amc
hydraz
@plt-hokusai
right, /usr/bin/amc is just a wrapper
Drew
@CoderPuppy
Is there any way to extend a record? { { a = 1 } with b = 2 }
hydraz
@plt-hokusai
Amc.extend_row @"b" 2 {a = 1}
Jonathan Coates
@SquidDev
IIRC with b = 2 works right, just only allows updating rather than extending?
Drew
@CoderPuppy
yeah
hydraz
@plt-hokusai
yes
Drew
@CoderPuppy
Where have you been talking about Amulet now?
hydraz
@plt-hokusai
private slack
maybe we should move it somewhere better but gitter is Uhh
Drew
@CoderPuppy
I don't think Gitter has improved (or changed at all) since Silica was active (late 2017?)
Jonathan Coates
@SquidDev
I've just been connecting over IRC, which makes it usable....
I think GitLab brought it, and then did nothing with it?
hydraz
@plt-hokusai
exactly