Asher-

export module strongai.type.detect;
#include <string>

Asher-

#ifndef __StrongAI__Traits__Abstract__Pack__ContextPack__
#define __StrongAI__Traits__Abstract__Pack__ContextPack__

namespace StrongAI {
  namespace Traits {
    namespace Abstract {
      namespace Pack {

        /*----------------------------*

Asher-

/usr/local/bin/clang++ -stdlib=libc++ -arch x86_64   -fdiagnostics-show-template-tree -ftemplate-depth=512 -ftemplate-backtrace-limit=0 -std=c++1z -fmodules-ts -fcxx-modules -fprebuilt-module-path=/Users/asher/Projects/xcode/../•Modules -Wno-unused-command-line-argument -O0 -fasm-blocks -isysroot /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk  -F/Users/asher/Projects/•Products/Debug -MMD -MT dependencies -I/Users/asher/Projects/xcode/../strongai/test -I/Users/asher/Projects/xcode/../strongai -I/usr/local/include --precompile /Users/asher/Projects/xcode/Modules/strongai.traits.cppm -o /Users/asher/Projects/xcode/../•Modules/strongai.traits.pcm
In module 'strongai.type.detect' imported from /Users/asher/Projects/xcode/../strongai/strongai/traits/traits/includes.hpp:14:
/usr/local/include/c++/v1/tuple:1015:25: error: 'std::__1::__find_detail::__find_exactly_one_checked::__matches' from module 'strongai.type.detect' is not present in definition of '__find_

Asher-

While building module 'std' imported from /Users/asher/Projects/xcode/../strongai/strongai/type/identifiers/identifiers.cppm:4:
While building module 'Darwin' imported from /usr/local/include/c++/v1/ctype.h:39:
In file included from <module-includes>:620:
In file included from /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/mach/mach.h:67:
In file included from /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/mach/mach_interface.h:43:
/Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/mach/host_priv.h:200:10: error: expected ')'
        kmod_t *module
                ^
/Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/mach/host_priv.h:197:1: note: to match this '('
(

Asher-

#include <type_traits>
export module A;

Asher-

        template
        <
          typename Type
        >
        class ReseatableReference
        {
          public:
          ReseatableReference ( const Type& reference ) : reference( reference ) {};
          void set( const Type& reference ) { ~ReseatableReference(); new (this) ReseatableReference( reference ); }
          Type& operator()() { return reference; };

Asher-

http://link.springer.com/content/pdf/10.1007/978-1-4757-1779-2.pdf
http://link.springer.com/content/pdf/10.1007/978-1-4757-2103-4.pdf
http://link.springer.com/content/pdf/10.1007/978-1-4684-9884-4.pdf
http://link.springer.com/content/pdf/10.1007/978-3-662-02945-9.pdf
http://link.springer.com/content/pdf/10.1007/978-1-4612-9923-3.pdf
http://link.springer.com/content/pdf/10.1007/978-1-4757-3828-5.pdf
http://link.springer.com/content/pdf/10.1007/978-1-4684-9936-0.pdf
http://link.springer.com/content/pdf/10.1007/978-1-4419-8566-8.pdf
http://link.springer.com/content/pdf/10.1007/978-1-4757-4385-2.pdf
http://link.springer.com/content/pdf/10.1007/978-1-4419-8592-7.pdf

Asher-

template
<
  typename... Advice
>
class Selector
{
  public:
  // ...
};

Asher-

3:58:21 AM Asher: maaku - you described what you want to build as "basically be datalog over a probabalistic logic database" - would you be building your own implementation based off that premise?
3:58:45 AM Asher: database implementation
3:59:26 AM Asher: i guess the question is the same as: is the language you're developing identical with the database that implements it, or are you thinking you will rely on existing database tools to adapt to your needs?
4:01:52 AM maaku: "is the language you're developing identical with the database that implements it" <-- yes
4:02:01 AM maaku: "will you rely on existing database tools" <-- yes
4:02:01 AM Asher: cool
4:02:07 AM Asher: what existing tools?
4:02:11 AM maaku: not sure why you think those are opposing
4:02:27 AM Asher: i'm trying to understand how much of a new database architecture you will be making
4:02:50 AM Asher: or have in mind, whether or not you make it

Asher-

Let us now return to the analogy of the theoretical computing machines with
an infinite tape. It can be shown that a single special machine of that type can be
made to do the work of all. It could in fact be made to work as a model of any
other machine. The special machine may be called the universal machine; it
works in the following quite simple manner. When we have decided what
machine we wish to imitate we punch a description of it on the tape of the
universal machine. This description explains what the machine would do in
every configuration in which it might find itself. The universal machine has only
to keep looking at this description in order to find out what it should do at each
stage. Thus the complexity of the machine to be imitated is concentrated in the