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
  • 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
Whoah, viluon is still here too.
jojomoore2007
@jojomoore2007
:(
btw i just looked at the source code and saw what could be causing probs
it will restart the system if it can't draw a character
so if it can't get the file for the character
it restarts
and causes an infinite loop
InternetUnexplorer
@InternetUnexplorer
@jojomoore2007 It's neat that you're trying to get it working, just keep in mind that you're pretty much on your own. :point_up: March 6, 2019 12:46 PM
Still, if you do manage to make it work, feel free to post a screenshot or something. It would be kind of cool to see it working after several years of inactivity.
João Victor
@jv110
Hey what's up people
Who of you still exist here
Turns out I checked in last year
My memories of this are vague
Drew
@CoderPuppy
I come back and check whenever I get an email about unread messages
also (since SquidDev is here right now), it's quite fun reading a post on /r/ProgrammingLanguages and then realizing it's about Amulet
Jonathan Coates
@SquidDev
Ahh, you can blame hydraz for that!
Drew
@CoderPuppy
What state is it in now? The last I had seen was the specification.
Jonathan Coates
@SquidDev
Hrmr, that spec is incredibly old. It's basically a proto-haskell with ML syntax - type classes, GADTs, type families, etc...
We've got the beginnings of a module system, so currently trying to flesh that out - working towards incremental compilation and a prelude.
s/prelude/standard library/
The type system is Turing complete, of course.
Drew
@CoderPuppy
Is that from type functions? Or something more complicated with functional dependencies or something?
Drew
@CoderPuppy
Did it end up having row polymorphism/extensible records?
Jonathan Coates
@SquidDev
Oh yes, we have extensible rows.
I think you can do it with both functional dependencies and type classes
hydraz has a a LC interpreter with type functions, and 3-queens with FD IIRC.
^ Type-level SK combinator calculus with functional dependencies
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?